Modal Logic
Wesley H. Holliday
Learn modal logic with this comprehensive course by Wesley H. Holliday! Explore the fundamentals and applications of modal-logic.
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: 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.
Modal Logic
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.
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.