Top > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Modal Logic

» The Calculus of Structures - Modal Logics - Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.

» Computational Tools for Modal Logic - Resources collected by Renate Schmidt.

» Mally's Deontic Logic - Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.

» Modal epistemic logic - An extensive overview of the subject.

» Modal Logic - Online book by J. Jay Zeman.

» Modal Logic - Open Encyclopedia article.

» Modal Logic - 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.

» Modal Logic - A discussion of modal logic by John McCarthy.

» Modal Logic - Wikipedia article.

» Modality, Si! Modal Logic, No! - Article by J. McCarthy on the use of modality in artificial intelligence.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and may have been modified by clixShare