A Modal Logic for Full LOTOS based on Symbolic Transition Systems.
Muffy CalderSavi MaharajCarron ShanklandPublished in: Comput. J. (2002)
Keyphrases
- modal logic
- transition systems
- temporal logic
- model checking
- concurrent systems
- inference rules
- default logic
- model checker
- nonmonotonic logics
- reactive systems
- belief revision
- practical reasoning
- binary decision diagrams
- prime implicates
- situation calculus
- formal verification
- modal operators
- expert systems
- formal specification
- relational databases