The Expressive Power of Temporal Logic of Actions (Extended Abstract).
Arkadi EstrinMichael KaminskiPublished in: CONCUR (1999)
Keyphrases
- extended abstract
- expressive power
- temporal logic
- temporally extended
- model checking
- modal logic
- query language
- transitive closure
- first order logic
- data complexity
- satisfiability problem
- computation tree logic
- relational algebra
- computational properties
- situation calculus
- relational calculus
- verification method
- data model
- belief revision
- linear temporal logic
- bounded model checking
- inference rules
- finite state
- artificial intelligence
- markov decision processes
- epistemic logic
- relational databases