Modal Logics with Transitive Closure: Completeness, Decidability, Filtration.
Stanislav KikotIlya ShapirovskyEvgeny ZolinPublished in: AiML (2020)
Keyphrases
- transitive closure
- modal logic
- decision procedures
- query containment
- expressive power
- temporal logic
- inference rules
- constraint databases
- recursive queries
- first order logic
- query evaluation
- spatial databases
- query language
- relational algebra
- directed acyclic graph
- description logics
- epistemic logic
- nonmonotonic logics
- situation calculus
- theorem proving
- default logic
- query answering
- automated reasoning
- modal operators
- query processing
- conjunctive queries