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

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

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

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.

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