Keyphrases
- expressive power
- modal logic
- temporal logic
- decision procedures
- first order logic
- inference rules
- query language
- data complexity
- transitive closure
- nonmonotonic logics
- classical logic
- computational properties
- relational algebra
- default logic
- situation calculus
- epistemic logic
- relational calculus
- aggregate functions
- monadic second order logic
- model checking