On the Expressive Power of Some Extensions of Linear Temporal Logic.
Anton R. GnatenkoVladimir A. ZakharovPublished in: Autom. Control. Comput. Sci. (2019)
Keyphrases
- expressive power
- linear temporal logic
- temporal logic
- model checking
- first order logic
- bounded model checking
- query language
- aggregate functions
- data complexity
- relational algebra
- transitive closure
- computational properties
- modal logic
- relation algebra
- relational databases
- default logic
- learning algorithm
- object oriented
- search algorithm