Table of Contents

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.

Reviews

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)