Modal Logic
11 links
Mally's Deontic Logic
plato.stanford.edu
Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhorst.
Modal Logic
plato.stanford.edu
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) expr…
Modality, Si! Modal Logic, No!
-formal.stanford.edu
Article by J. McCarthy on the use of modality in artificial intelligence.
The Calculus of Structures - Modal Logics
alessio.guglielmi.name
Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.
Showing 20–11 of 11 results