Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics.
Silvio GhilardiLuigi SantocanalePublished in: LPAR (2003)
Keyphrases
- decision procedures
- model theoretic
- modal logic
- temporal logic
- proof theoretic
- classical logic
- theorem proving
- situation calculus
- inference rules
- automated reasoning
- action theories
- autoepistemic logic
- conjunctive queries
- nonmonotonic logics
- database
- satisfiability problem
- integrity constraints
- algebraic structure
- model checking