@book{ModelTheory,
  author    = {Chen C. Chang and
               H. Jerome Keisler},
  title     = {Model theory, Third Edition},
  series    = {Studies in logic and the foundations of mathematics},
  volume    = {73},
  publisher = {North-Holland},
  year      = {1992},
  isbn      = {978-0-444-88054-3}
}

@book{BlackburnRV01,
  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},
  doi       = {10.1017/CBO9781107050884},
  isbn      = {978-1-10705088-4}
}

@book{FHMV1995,
  author    = {Ronald Fagin and
               Joseph Y. Halpern and
               Yoram Moses and
               Moshe Y. Vardi},
  title     = {Reasoning About Knowledge},
  publisher = {{MIT} Press},
  year      = {1995},
  doi       = {10.7551/mitpress/5803.001.0001},
  isbn      = {9780262562003}
}

@book{smullyan1995first,
  title     = {First-order logic},
  author    = {Smullyan, Raymond M.},
  year      = {1995},
  publisher = {Dover Publications}
}

@inproceedings{Blanchette0T14,
  author    = {Jasmin Christian Blanchette and
               Andrei Popescu and
               Dmitriy Traytel},
  editor    = {Gerwin Klein and
               Ruben Gamboa},
  title     = {Cardinals in {Isabelle/HOL}},
  booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 14-17, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8558},
  pages     = {111--127},
  publisher = {Springer},
  year      = {2014},
  doi       = {10.1007/978-3-319-08970-6\_8}
}

@book{Brauner11,
	author = {Torben Braüner},
	title = {Hybrid Logic and its Proof-Theory},
	publisher = {Springer Dordrecht},
	isbn = {978-94-007-0001-7},
	issn = {1386-2790},
	edition = {first},
	doi = {10.1007/978-94-007-0002-4},
	pages = {231},
	year = {2011}
}
