README.md

Modal Logic

(Up) | See also: Logic

Web resources

Modal Logic Playground ★★★

Modal Logic (Stanford Encyclopedia of Philosophy) ★★

history of philosophy - Are there any known precendents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers? - Philosophy Stack Exchange

(in Coq) coq - Defining Kripke models and the canonical model for $S4$ modal logic - Proof Assistants Stack Exchange ★

Papers

Mathematical Modal Logic: A View of its Evolution (online @ homepages.ecs.vuw.ac.nz) ★ 💭

The Relationship between the Topological Properties and Common Modal Logics (online @ pubs.sciepub.com) ★ 💭

Topological semantics of modal logic (online @ tsinghualogic.net) ★★★ 💭

Topology, Connectedness, and Modal Logic (online @ www.dcs.bbk.ac.uk, web.archive.org) ★ 💭

A Modal Walk Through Space (online @ web.archive.org) ★★ 💭

The Situation Calculus: A Case for Modal Logic (online @ ai.stanford.edu) 💭

Modal Mu-Calculi (online @ www.julianbradfield.org) 💭

(in Abstract Algebra) Interior Algebras and Varieties (online @ core.ac.uk) ★ 💭

(in Abstract Algebra) Varieties of Interior Algebras (online @ eprints.illc.uva.nl) 💭

Books

Introductory Modal Logic (borrow @ archive.org) ★★★ 💭

First Steps in Modal Logic (borrow @ archive.org) ★★★ 💭

Dynamic Logic (borrow @ archive.org) ★ 💭

Modal Logic for Open Minds (borrow @ archive.org) ★ 💭