"Kripke’s Worlds: An Introduction to Modal Logics via Tableaux" von François Schwarzentruber ist ein Lehrbuch, das sich mit der Einführung in modale Logiken beschäftigt. Das Buch nutzt die Methode der Tableaux, um Lesern ein tieferes...