Hybrid fragments of Halpern-Shoham logic and their expressive power.
Przemyslaw Andrzej WalegaPublished in: Theor. Comput. Sci. (2019)
Keyphrases
- expressive power
- temporal logic
- guarded fragment
- computational properties
- modal logic
- satisfiability problem
- first order logic
- monadic second order logic
- query language
- formal theory
- transitive closure
- modal operators
- model checking
- data complexity
- predicate logic
- relation algebra
- relational algebra
- classical logic
- relational calculus
- causal models
- artificial intelligence
- set theory
- reasoning about actions
- recursive queries
- propositional logic
- aggregate functions
- knowledge base