Modal logic based theory for non-monotonic reasoning

  title={Modal logic based theory for non-monotonic reasoning},
  author={Pierre Siegel and Camilla Schwind},
  journal={Journal of Applied Non-Classical Logics},
This paper defines a new modal logic based theory for non-monotonic reasoning. This logic expresses notions about hypotheses and known information. These notions are defined in the framework of the modal system 1". A translation of default logic in terms of hypothesis theory is given with which it is possible to fully characterize default logic by giving a necessary and sufficient criterion for the existence and the non-existence of extensions. Moreover several problems relating to non… CONTINUE READING