A New Semantics for Positive Modal Logic.
Sergio A. CelaniRamon JansanaPublished in: Notre Dame J. Formal Log. (1997)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- dynamic logic
- modal operators
- kripke models
- temporal logic
- decision procedures
- autoepistemic logic
- inference rules
- positive and negative
- classical logic
- description logic alc
- model theoretic
- prime implicates
- default logic
- situation calculus
- semantic information
- logic programming
- higher order
- programming language