Clausal resolution for normal modal logics.
Cláudia NalonClare DixonPublished in: J. Algorithms (2007)
Keyphrases
- modal logic
- decision procedures
- temporal resolution
- temporal logic
- inference rules
- classical logic
- theorem proving
- epistemic logic
- default logic
- nonmonotonic logics
- automated reasoning
- defeasible logic
- model checking
- high resolution
- horn clauses
- model theoretic
- modal operators
- kripke models
- reinforcement learning
- autoepistemic logic
- constraint propagation
- cooperative