Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Nonstandard_Logics_and_Extensions/Modal_Logic
Top
:
Science
:
Math
:
Logic and Foundations
:
Nonstandard Logics and Extensions
:
Modal Logic
(22)
People
(6)
Provability and Interpretability Logics
(8)
Temporal Logic
@
(6)
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 GertJan 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.
"
Modal Logic
" search on:
AOL

Ask

Bing

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982015 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: November 12, 2013 at 6:54:04 UTC 
edit