Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- query language
- query processing
- concurrent systems
- computation tree logic
- verification method
- mazurkiewicz traces
- linear temporal logic
- temporal knowledge
- belief revision
- answering queries
- probabilistic databases
- query evaluation
- tree patterns
- transition systems
- data sources
- model checker
- dynamic systems
- dynamic constraints
- state space
- knowledge base