README.md

Modal Logic

(Up) | Wikipedia: Modal logic | See also: Logic

Web resources

Modal Logic Playground ★★★

Modal Logic (Stanford Encyclopedia of Philosophy) ★★

Are there any known precendents of philosophers using modal logic (or any other theory of math) to formalize works of other philosophers?

(in Coq) Defining Kripke models and the canonical model for $S4$ modal logic ★

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 with print disabilities @ archive.org) ★★★ 💭

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

Dynamic Logic (borrow @ archive.org) ★ 💭

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