Editing Modal logic (section)

==External links==
* [[Internet Encyclopedia of Philosophy]]:
** "[http://www.iep.utm.edu/modal-lo Modal Logic: A Contemporary View]" – by [[Johan van Benthem (logician)|Johan van Benthem]].
** "[http://www.iep.utm.edu/cmlogic Rudolf Carnap's Modal Logic]" – by MJ Cresswell.
* [[Stanford Encyclopedia of Philosophy]]:
** "[http://plato.stanford.edu/entries/logic-modal Modal Logic]" – by [[James Garson]].
** "[https://plato.stanford.edu/entries/logic-modal-origins/ Modern Origins of Modal Logic]" – by Roberta Ballarin.
** "[http://plato.stanford.edu/entries/logic-provability/ Provability Logic]" – by [[Rineke Verbrugge]].
* [[Edward N. Zalta]], 1995, "[http://mally.stanford.edu/notes.pdf Basic Concepts in Modal Logic.]"
* [[John McCarthy (computer scientist)|John McCarthy]], 1996, "[http://www-formal.stanford.edu/jmc/mcchay69/node22.html Modal Logic.]"
* [http://molle.sourceforge.net/ Molle] a Java prover for experimenting with modal logics
* Suber, Peter, 2002, "[https://web.archive.org/web/20070904082235/http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm#modal Bibliography of Modal Logic.]"
* [https://web.archive.org/web/20060215083632/http://www.cc.utah.edu/~nahaj/logic/structures/systems/index.html List of Logic Systems] List of many modal logics with sources, by John Halleck.
* [http://aiml.net/ Advances in Modal Logic.] Biannual international conference and book series in modal logic.
* [http://teachinglogic.imag.fr/TableauxS4 S4prover] A tableaux prover for S4 logic
* "[http://www.labri.fr/perso/moot/talks/TopologyNotes.pdf Some Remarks on Logic and Topology]" – by Richard Moot; exposits a [[topology|topological]] [[semantics]] for the modal logic S4.
* [http://www.irit.fr/Lotrec/ LoTREC] The most generic prover for modal logics from IRIT/Toulouse University

{{Non-classical logic}}
{{Authority control}}
[[Category:Logic]]
[[Category:Modal logic| ]]
[[Category:Philosophical logic]]
[[Category:Mathematical logic]]
[[Category:Semantics]]