A modal logic for abstract delta modeling.

Frank S. de Boer Michiel Helvensteijn Joost Winter

Published in: SPLC (2) (2012)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
default logic
nonmonotonic logics
higher order
situation calculus
explanation based generalization
prime implicates
conditional logic
model checking
cooperative
knowledge representation
data model