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

This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing wit

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.