A Structural Property on Modal Frames Characterizing Default Logic

We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We refine the canonical fix point construction defined by Marek, Schwarz and Truszczy'nski for Reiter's default logic and thus we address a new paradigm for nonmonotonic logic. In fact, differently from the construction defined by these authors, we show that suitable modal logics for such a construction must indeed contain KD4. When reflexivity is added to the modal logic used for the fix point construction then we come to the Marek Schwarz and Truszczy'nski framework for Reiter's default logic. Our framework, in fact, is appropriate also to the family of modal logics in between S4 and S4f . If, instead, reflexivity is dropped, then we show that a new family of modal logics is gained, namely the modal logics in between KD4 and KD4Z. The upper bound can be extended to the modal logic KD4LZ whenever the propositional language taken into account is finit..