Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Subcategories 3
Sites 8
Loading new listings for you to review...
- Computational Tools for Modal Logic Resources collected by Renate Schmidt.
- 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.
- 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.
- 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 Wikipedia article.
- Modal Logic Open Encyclopedia article.