Kripke’s Worlds

• Preface.- 1 Modelling things with graphs.- 2 Talking about graphs.- 3 The basics of the model construction method.- 4 Logics with simple constraints on models.- 5 Logics with transitive accessibility relations.- 6 Model Checking.- 7 Modal logics with transitive closure.- Bibliography.- Index.

From the reviews: "This is an excellent book to use -- either as a stand-alone text or with another textbook -- for an introductory undergraduate course in logic addressed to majors in the humanities, social sciences, computer science, or mathematics. ... A basic unifying theme of the book is to construct models of possible worlds and to check formula satisfiability using graph-theoretic tableaux systems." (Russell Jay Hendel, MAA Reviews, February, 2014) "This book provides an accessible introduction to modal logics indeed. ... The book is well written and quite informative ... . It can be used as an easy-going introduction for all who are interested in automated reasoning and need some formal tools for playing with modal logics." (Andrzej Indrzejczak, zbMATH, Vol. 1280, 2014)