Maximally Permissive Controlled System Synthesis for Modal Logic.

Allan van Hulst Michel A. Reniers Wan J. Fokkink

Published in: CoRR (2014)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
default logic
nonmonotonic logics
epistemic logic
program synthesis
situation calculus
dynamic logic
explanation based generalization
model checking
logic programs
autoepistemic logic
kripke models