Containment Logics: Algebraic Completeness and Axiomatization.
Stefano BonzioMichele Pra BaldiPublished in: Stud Logica (2021)
Keyphrases
- expressive power
- order sorted
- conjunctive queries
- modal logic
- classical logic
- propositional calculus
- situation calculus
- transitive closure
- decision procedures
- higher order
- general theory
- algebraic structure
- propositional dynamic logic
- nonmonotonic logics
- conditional logic
- query containment
- set valued attributes
- complete axiomatization