Refinement modal logic.

Laura Bozzelli Hans van Ditmarsch Tim French James Hales Sophie Pinchinat

Published in: Inf. Comput. (2014)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
classical logic
situation calculus
default logic
conditional logic
prime implicates
modal operators
explanation based generalization