The Expressive Power of Temporal Logic of Actions.
Arkadi EstrinMichael KaminskiPublished in: J. Log. Comput. (2002)
Keyphrases
- expressive power
- temporal logic
- temporally extended
- model checking
- computation tree logic
- first order logic
- query language
- satisfiability problem
- data complexity
- computational properties
- modal logic
- transitive closure
- relational algebra
- verification method
- predicate logic
- linear temporal logic
- situation calculus
- relational calculus
- belief revision
- data model
- formal specification
- epistemic logic
- relational databases
- inference rules