Modal logic based theory for non-monotonic reasoning

@article{Siegel1993ModalLB,
  title={Modal logic based theory for non-monotonic reasoning},
  author={Pierre Siegel and Camilla Schwind},
  journal={Journal of Applied Non-Classical Logics},
  year={1993},
  volume={3},
  pages={73-92}
}
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