Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessi

An introductory textbook on modal logic the logic of necessity and possibility.

1. Introduction. 2. The Syntax of Modal Sentential Calculi. 4. Semantics for Logical Necessity. 5. Semantics for S5. 6. Relational World Systems. 7. Quantified

This 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications.

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic. A New