Modal Logics for Timed Control.

Patricia Bouyer Franck Cassez François Laroussinie

Published in: CONCUR (2005)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
situation calculus
epistemic logic
petri net
theorem proving
query processing
control system
theorem prover
discrete event
autoepistemic logic