Translations Between Modal Logics of Reactive Systems.
François LaroussinieSophie PinchinatPhilippe SchnoebelenPublished in: Theor. Comput. Sci. (1995)
Keyphrases
- reactive systems
- modal logic
- temporal logic
- model checking
- decision procedures
- epistemic logic
- inference rules
- satisfiability problem
- classical logic
- nonmonotonic logics
- information flow
- default logic
- belief revision
- situation calculus
- autoepistemic logic
- control flow
- petri net
- formal specification
- formal methods
- theorem proving