The eliminability of the actuality operator in propositional modal logic.
Allen HazenPublished in: Notre Dame J. Formal Log. (1978)
Keyphrases
- modal logic
- default logic
- prime implicates
- autoepistemic logic
- modal operators
- temporal logic
- decision procedures
- inference rules
- coalition logic
- nonmonotonic logics
- epistemic logic
- propositional logic
- merging operators
- classical logic
- default reasoning
- conditional logic
- nonmonotonic reasoning
- default theories
- dynamic logic
- general logic programs
- possibilistic logic
- situation calculus
- first order logic
- defeasible logic
- artificial intelligence
- relational databases