LILaC
Kripke's Worlds:
An Introduction to Modal Logics via Tableaux
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 (https://www.irit.fr/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.