Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
Damien DoligezJael KrienerLeslie LamportTomer LibalStephan MerzPublished in: CoRR (2014)
Keyphrases
- modal logic
- conditional logic
- decision procedures
- temporal logic
- inference rules
- automated reasoning
- first order logic
- epistemic logic
- nonmonotonic logics
- classical logic
- situation calculus
- model theoretic
- default logic
- reasoning systems
- probabilistic logic
- knowledge base
- reasoning tasks
- default reasoning
- autoepistemic logic
- logical framework
- probabilistic reasoning
- reasoning about actions
- reasoning processes
- dynamic logic
- logical formulas
- horn clauses
- knowledge representation and reasoning
- theorem proving
- propositional logic
- action theories
- satisfiability problem