A Modal Logic for Hypothesis Theory.

Camilla Schwind Pierre Siegel

Published in: Fundam. Informaticae (1994)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
modal operators
conditional logic
nonmonotonic logics
classical logic
epistemic logic
theoretical framework
default logic
dynamic logic
explanation based generalization
kripke models
situation calculus
general theory
sequent calculus