/ Home / Web Directory / Science / Math / Logic and Foundations / Nonstandard Logics and Extensions / Modal Logic   (30)

Sub-Categories in Modal Logic

People (10) Provability and Interpretability Logics (9)

Temporal Logic@ (13)

Web Sites in Category Modal Logic

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 - A discussion of modal logic by John McCarthy.

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 - Online book by J. Jay Zeman.

Modal Logic - Wikipedia article.

Modal Logic - Open Encyclopedia article.

Modal Logics - A concise introduction to modal logics by Anthony A. Aaby.

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

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.

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