Translation Results for Modal Logics of Reactive Systems.
François LaroussinieSophie PinchinatPhilippe SchnoebelenPublished in: AMAST (1993)
Keyphrases
- modal logic
- reactive systems
- temporal logic
- model checking
- decision procedures
- epistemic logic
- inference rules
- satisfiability problem
- classical logic
- nonmonotonic logics
- belief revision
- default logic
- information flow
- autoepistemic logic
- formal methods
- knowledge representation
- situation calculus
- distributed databases
- control flow
- real time systems
- petri net