Modal Logic, Transition Systems and Processes.

Johan van Benthem Jan van Eijck Vera Stebletsova

Published in: J. Log. Comput. (1994)

Keyphrases

modal logic
temporal logic
transition systems
model checking
concurrent systems
inference rules
model checker
default logic
nonmonotonic logics
formal verification
belief revision
situation calculus
finite state
prime implicates
practical reasoning
process model
reactive systems
control flow