@book{fagin1995,
  title = {Reasoning About Knowledge},
  language = {eng},
  publisher = {MIT Press},
  year = {1995},
  isbn = {0262061627},
  author = {Fagin, R. and Halpern, J.Y. and Moses, Y. and Vardi, M.Y.}
}

@book{blackburn2001,
  author    = {Patrick Blackburn and
               Maarten de Rijke and
               Yde Venema},
  title     = {Modal Logic},
  series    = {Cambridge Tracts in Theoretical Computer Science},
  volume    = {53},
  publisher = {Cambridge University Press},
  year      = {2001},
  url       = {https://doi.org/10.1017/CBO9781107050884},
  doi       = {10.1017/CBO9781107050884},
  isbn      = {978-1-10705088-4}
}


