Directory of Modal Logic Resources

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Modal Logic

Subcategories

• People
• Provability and Interpretability Logics
• Temporal Logic

Resources in This Category

• Computational Tools for Modal Logic

  http://www.cs.man.ac.uk/~schmidt/tools/
  Resources collected by Renate Schmidt.

• 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.

• Modal epistemic logic

  http://stinfwww.informatik.uni-leipzig.de/~duc/Thesis/node8.html
  An extensive overview of the subject.

• 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.

• Modal Logic

  http://www.clas.ufl.edu/users/jzeman/modallogic/
  Online book by J. Jay Zeman.

• Modal Logic

  http://en.wikipedia.org/wiki/Modal_logic
  Wikipedia article.

• Modal Logic

  http://open-site.org/Science/Mathematics/Logic/Modal_Logic/
  Open Encyclopedia article.

• 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.

 

Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Modal Logic

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us