 
|
Modal Logic - http://en.wikipedia.org/wiki/Modal_logic
Wikipedia article.
|
|
|
Modal Logic - http://plato.stanford.edu/entries/logic-modal/
Originally the study of deductive behavior of the expressions `it is necessary that' and `it is possible that', now also includes logics for belief, tense, the deontic (moral) expressions. From the Stanford Encyclopedia, by James W. Garson.
|
|
|
Mally's Deontic Logic - http://plato.stanford.edu/entries/mally-deontic/
Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
|
|
|
Computational Tools for Modal Logic - http://www.cs.man.ac.uk/~schmidt/tools/
Resources collected by Renate Schmidt.
|
|
|
Modal Logic - http://www-formal.stanford.edu/jmc/mcchay69/node22.html
A discussion of modal logic by John McCarthy.
|
|
|
Modal epistemic logic - http://stinfwww.informatik.uni-leipzig.de/~duc/Thesis/node8.html
An extensive overview of the subject.
|
|
|
Modality, Si! Modal Logic, No! - http://www-formal.stanford.edu/jmc/modality/modality.html
Article by J. McCarthy on the use of modality in artificial intelligence.
|
|
|
The Calculus of Structures - Modal Logics - http://alessio.guglielmi.name/res/cos/ML/
Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.
|
|
|
Modal Logic - http://www.clas.ufl.edu/users/jzeman/modallogic/
Online book by J. Jay Zeman.
|
|
|
Modal Logic - http://open-site.org/Science/Mathematics/Logic/Modal_Logic/
Open Encyclopedia article.
|