A decidable modal logic that is finitely undecidable.
Igor GorbunovPublished in: Advances in Modal Logic (2006)
Keyphrases
- modal logic
- decision procedures
- query containment
- unions of conjunctive queries
- datalog programs
- exptime complete
- temporal logic
- description logics
- inference rules
- pspace complete
- situation calculus
- plan existence
- model checking
- expressive power
- conditional logic
- plan generation
- epistemic logic
- nonmonotonic logics
- inductive inference
- classical logic
- data complexity
- finite number
- query answering
- model theoretic
- satisfiability problem
- dynamic logic
- first order logic
- transitive closure
- default logic
- data exchange
- prime implicates
- np complete
- sufficient conditions
- conjunctive queries
- fixed point