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

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)

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)