On IF Modal Logic and its Expressive Power.
Tero TulenheimoPublished in: Advances in Modal Logic (2002)
Keyphrases
- expressive power
- modal logic
- temporal logic
- decision procedures
- first order logic
- data complexity
- query language
- inference rules
- relational algebra
- epistemic logic
- transitive closure
- computational properties
- default logic
- classical logic
- situation calculus
- relational calculus
- prime implicates
- relation algebra
- nonmonotonic logics