An actualistic semantics for quantified modal logic.
Thomas JagerPublished in: Notre Dame J. Formal Log. (1982)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- modal operators
- dynamic logic
- temporal logic
- decision procedures
- kripke models
- inference rules
- autoepistemic logic
- classical logic
- model theoretic
- default logic
- description logic alc
- formal semantics
- situation calculus
- sequent calculus
- prime implicates
- possibilistic logic
- default reasoning
- semantic information
- database systems
- explanation based generalization
- artificial intelligence