In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics.
Rohan FrenchPublished in: Stud Logica (2015)
Keyphrases
- expressive power
- relational calculus
- aggregate functions
- first order logic
- monadic second order logic
- data complexity
- relational algebra
- computational properties
- query language
- transitive closure
- modal logic
- relational query languages
- database query languages
- inference rules
- propositional logic
- programming language
- closure properties
- databases
- constraint query languages