# Literature on Kripke models

Which is the best introduction to Kripke-models for modal logics? I am a M.Sc in mathematics and know predicatlogic.

• The textbook on modal logic by Chagrov and Zakharyaschev, and the one by Blackburn, De Rijke, and Venema, contain a lot of introductory material on Kripke models, but neither is specifically focused on Kripke models. – Emil Jeřábek Sep 28 '16 at 9:08
• You can see also an introductory exposition for Modal Logic into : James Garson, Modal Logic for Philosophers (2nd ed, 2013). – Mauro ALLEGRANZA Sep 29 '16 at 9:26
• Reagrding Intuitionistic Logic, you can see ; Anne Troelstra & Dirk van Dalen, Constructivism in mathematics : An Introduction. Volume 1 (1988). – Mauro ALLEGRANZA Sep 29 '16 at 9:30
• May also be useful : John Burgess, Philosophical logic (2009). – Mauro ALLEGRANZA Sep 29 '16 at 9:36
• Maybe also Appendix A: Models of John Burgess, Kripke (2012). – Mauro ALLEGRANZA Sep 29 '16 at 9:41

Starts very basic but covers in detail the beautiful completeness theorem proofs for the basic systems like $S5$, $S4$, $K$.