Modal and Temporal Logics for Processes.
Colin StirlingPublished in: Banff Higher Order Workshop (1995)
Keyphrases
- temporal logic
- modal logic
- model checking
- transition systems
- mazurkiewicz traces
- satisfiability problem
- concurrent systems
- inference rules
- predicate logic
- epistemic logic
- temporal resolution
- computation tree logic
- belief revision
- model checker
- modal operators
- reactive systems
- verification method
- nonmonotonic logics
- linear temporal logic
- bounded model checking
- process model
- reinforcement learning
- expert systems