Keyphrases
- temporal logic
- decision procedures
- modal logic
- satisfiability problem
- model checking
- inference rules
- mazurkiewicz traces
- epistemic logic
- automated reasoning
- computation tree logic
- model theoretic
- unions of conjunctive queries
- verification method
- belief revision
- theorem proving
- transition systems
- linear temporal logic
- query containment
- formal specification language