In Partnership with AOL
  • 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.
    [!]
Volunteer to edit this category.
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

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