On the Expressive Power of the Normal Form for Branching-Time Temporal Logics.
Alexander BolotovPublished in: NCL (2022)
Keyphrases
- temporal logic
- normal form
- expressive power
- model checking
- relational algebra
- database design
- relational databases
- relational calculus
- first order logic
- query language
- modal logic
- data complexity
- functional dependencies
- satisfiability problem
- mazurkiewicz traces
- transitive closure
- aggregate functions
- belief revision
- database
- computation tree logic
- relational database systems
- epistemic logic