Kripke’s Worlds An Introduction to Modal Logics via Tableaux - Gasquet, Olivier; Herzig, Andreas; Said, Bilal; Schwarzentruber, François (Springer Basel : Imprint: Birkhäuser, 2014)