Subcategories 3

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
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.
[Mozilla Einstein]
Last update:
May 29, 2015 at 11:54:06 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional