Modal Logic Nonstandard Logics and Extensions Logic and Foundations Math

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 - Discussion of Ernst Mally\\'s logic of obligation; from nonstandard logics and modal logic extensions the Stanford Encyclopedia by Gert-Jan Lokhorst.
• Modality, Si! Modal Logic, No! - Article by J. McCarthy on the use of nonstandard logics and extensions modality in artificial intelligence.
• Modal Logic - Open Encyclopedia article.
• Computational Tools for Modal Logic - Resources collected by Renate Schmidt.
• Modal epistemic logic - An extensive overview of the subject.
• The Calculus of Structures - Modal Logics - Several normal propositional modal logics are systematically presented nonstandard logics and logic and foundations extensions in the calculus of structures and cut elimination nonstandard logics logic and foundations and extensions is proved. By Alessio Guglielmi.

   MySQL - Cache Direct