Constructive Completeness for Modal Logic with Transitive Closure.
Christian DoczkalGert SmolkaPublished in: CPP (2012)
Keyphrases
- modal logic
- transitive closure
- expressive power
- temporal logic
- decision procedures
- constraint databases
- inference rules
- first order logic
- query evaluation
- directed acyclic graph
- spatial databases
- epistemic logic
- recursive queries
- nonmonotonic logics
- query language
- default logic
- dynamic logic
- prime implicates
- situation calculus
- model checking
- relational algebra
- complex objects
- data quality
- co occurrence