Kripke's Worlds: An Introduction to Modal Logics via Tableaux

by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber

Springer-Birkhäuser, January 2014

Learning by doing. This is what this book aims at on a subject usually perceived as rather abstract: modal logics. You will learn to simulate the behaviour of each of these logics, very gradually, with the help of the free software LoTREC (, essential complement to the book. Starting from the simplest logics up to the most complex ones, you will unlock the mysteries of Kripke's semantics. Numerous practical exercises will bring you further. This book is intended for students and teachers even with zero-knowledge in computer science.