Kripke’s Worlds An Introduction to Modal Logics via Tableaux

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)