Products of 'transitive' modal logics.
David GabelaiaAgi KuruczFrank WolterMichael ZakharyaschevPublished in: J. Symb. Log. (2005)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- nonmonotonic logics
- classical logic
- situation calculus
- default logic
- dynamic logic
- modal operators
- automated reasoning
- theorem proving
- model checking
- transitive closure
- preference relations
- conjunctive queries
- reinforcement learning
- database systems