On the Expressive Power of Temporal Logic.
Joëlle CohenDominique PerrinJean-Eric PinPublished in: J. Comput. Syst. Sci. (1993)
Keyphrases
- relational algebra
- temporal logic
- expressive power
- model checking
- first order logic
- query language
- modal logic
- relational calculus
- transitive closure
- data complexity
- computational properties
- satisfiability problem
- linear temporal logic
- verification method
- computation tree logic
- formal specification
- belief revision
- finite state
- transition systems
- bounded model checking
- artificial intelligence