Modal Logic
by Patrick Blackburn, Maarten de Rijke, Yde Venema · Patrick Blackburn, Maarten de Rijke
A graduate textbook from the Cambridge Tracts in Theoretical Computer Science treating modal languages as tools for describing relational structures. Covers bisimulation, frame definability, canonical models, completeness, the finite model property, algebraic semantics and complexity, preparing readers for research-level work.
This link may earn us a small commission at no extra cost to you. Affiliate disclosure
More resources on Modal Logic
Wolfram MathWorld
MathWorld is an online mathematics encyclopedia from Wolfram Research offering detailed, browsable articles on topics across the math spectrum, including algebra, geometry, calculus, and number theory. Each entry includes definitions, theorems, formulas, diagrams, worked examples, and links to further reading.
plato.stanford.edu
The Stanford Encyclopedia of Philosophy is a peer‑reviewed online encyclopedia of philosophy featuring in‑depth, scholarly articles written and regularly updated by experts, including comprehensive coverage of logic topics.
Stanford Encyclopedia of Philosophy: Modal Logic
James Garson's encyclopedia entry surveys modal logic from the basic system K through T, S4 and S5, possible-worlds semantics, frame conditions, quantified modal logic, and deontic, temporal and conditional variants. Readers gain a map of the core systems and how they relate.
Modal Logic
Learn modal logic with this comprehensive course by Wesley H. Holliday! Explore the fundamentals and applications of modal-logic.
Modal Logic: An Introduction
A Cambridge textbook developing propositional modal logic systematically: standard and minimal (neighbourhood) models, normal and classical systems, soundness, completeness, decidability and filtration, with many exercises. Readers learn to prove metatheorems for modal systems and follow the technical literature.
Introduction to Modal Logic
The classic 1968 textbook introducing propositional and quantified modal logic, including the systems T, S4 and S5, decision procedures and possible-worlds semantics. Readers learn to construct proofs and assess validity in standard modal systems. Later superseded by the authors' New Introduction.