On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties.
Juha KontinenMax SandströmPublished in: WoLLIC (2021)
Keyphrases
- expressive power
- first order logic
- computational properties
- monadic second order logic
- horn clauses
- set theory
- data complexity
- guarded fragment
- linear temporal logic
- transitive closure
- relation algebra
- relational algebra
- knowledge representation
- query language
- propositional logic
- logic programming
- inference rules
- quantifier elimination
- theorem prover
- classical logic
- boolean algebra
- database
- temporal logic
- aggregate functions
- data model