Directory Help
Search only in Modal LogicSearch the Web  

Modal Logic
  Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Modal Logic   Go to Directory Home  

Categories
People (8)
Provability and Interpretability Logics (9)
Temporal Logic (9)
Web Pages
Viewing in Google PageRank order               View in alphabetical order
  Modal Logic - http://en.wikipedia.org/wiki/Modal_logic
Wikipedia article.
  Modal Logic - http://www-formal.stanford.edu/jmc/mcchay69/node22.html
A discussion of modal logic by John McCarthy.
  Modal epistemic logic - http://stinfwww.informatik.uni-leipzig.de/~duc/Thesis/node8.html
An extensive overview of the subject.
  Modality, Si! Modal Logic, No! - http://www-formal.stanford.edu/jmc/modality/modality.html
Article by J. McCarthy on the use of modality in artificial intelligence.
  The Calculus of Structures - Modal Logics - http://alessio.guglielmi.name/res/cos/ML/
Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.
  Modal Logic - http://www.clas.ufl.edu/users/jzeman/modallogic/
Online book by J. Jay Zeman.
  Modal Logic - http://open-site.org/Science/Mathematics/Logic/Modal_Logic/
Open Encyclopedia article.
  Modal Logic - http://plato.stanford.edu/entries/logic-modal/
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 - http://plato.stanford.edu/entries/mally-deontic/
Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
  Computational Tools for Modal Logic - http://www.cs.man.ac.uk/~schmidt/tools/
Resources collected by Renate Schmidt.

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

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...