On the expressive power of hybrid branching-time logics.
Daniel KernbergerMartin LangePublished in: Theor. Comput. Sci. (2020)
Keyphrases
- expressive power
- first order logic
- query language
- transitive closure
- computational properties
- data complexity
- temporal reasoning
- relational algebra
- temporal logic
- epistemic logic
- model checking
- modal logic
- relational calculus
- data model
- relation algebra
- constraint query languages
- artificial intelligence
- propositional logic
- inference rules
- database systems