A MODAL LOGIC FOR HYPOTHESIS THEORY
Camilla B. Schwind, Pierre Siegel · Fundamenta Informaticae · 1994
Hypothesis theory for nonmonotonic reasoning expresses notions of hypotheses and of known information. In this paper, we define these notions in the framework of a new modal system with two modalities, one for exprressing known information and the ot