Non-primitive recursive decidability of products of modal logics with expanding domains.
David GabelaiaAgi KuruczFrank WolterMichael ZakharyaschevPublished in: Ann. Pure Appl. Log. (2006)
Keyphrases
- modal logic
- decision procedures
- inference rules
- temporal logic
- nonmonotonic logics
- epistemic logic
- situation calculus
- classical logic
- automated reasoning
- model theoretic
- real world
- cooperative
- theorem proving
- theorem prover
- default logic
- description logics
- satisfiability problem
- query answering
- query containment
- knowledge base