@inproceedings{From2021,
   author = {Asta Halkjær From},
   journal = {International Workshop on Logic, Language, Information, and Computation},
   pages = {1-15},
   title = {Formalized soundness and completeness of epistemic logic},
   year = {2021},
}
@article{EpistemicLogicAFP,
  author  = {Asta Halkjær From},
  title   = {Epistemic Logic: Completeness of Modal Logics},
  journal = {Archive of Formal Proofs},
  month   = oct,
  year    = 2018,
  note    = {\url{https://isa-afp.org/entries/Epistemic_Logic.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
@article{Stalnaker2006,
   author = {Robert Stalnaker},
   doi = {10.1007/S11098-005-4062-Y},
   issn = {00318116},
   issue = {1},
   journal = {Philosophical Studies},
   month = {3},
   pages = {169-199},
   title = {On logics of knowledge and belief},
   volume = {128},
   year = {2006},
}
@book{lectureNotesStalnaker,
   author = {Robert Stalnaker},
   title = {Lecture Notes | Modal Logic | Linguistics and Philosophy | MIT OpenCourseWare},
   url = {https://dspace.mit.edu/bitstream/handle/1721.1/100157/24-244-fall-2009/contents/lecture-notes/index.htm},
   year = {2009},
}
@article{Aiello2003,
    author = {Aiello, M.},
    doi = {10.1093/logcom/13.6.889},
    issn = {0955-792X},
    journal = {Journal of Logic and Computation},
    keywords = {Modal logic,Serial set,Spatial reasoning,Topo-bisimulation,Topological interpretation},
    month = {dec},
    number = {6},
    pages = {889--920},
    publisher = {Oxford Academic},
    title = {{Reasoning About Space: The Modal Way}},
    url = {https://academic.oup.com/logcom/article-lookup/doi/10.1093/logcom/13.6.889},
    volume = {13},
    year = {2003}
}
@book{chagrov1997modal,
  title={Modal Logic},
  author={Chagrov, A. and Chagrov, P.M.A. and Zakharyaschev, M.},
  isbn={9780198537793},
  lccn={97185365},
  series={Oxford logic guides},
  url={https://books.google.com/books?id=dhgi5NF4RtcC},
  year={1997},
  publisher={Clarendon Press}
}
