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