Semi-Representability of Default Theories in Rational Default Logic

Marek and Truszczynski studied the representability issue for default logic. They proved that an arbitrary default theory can be represented by a weak seminormal default theory provided the language \(\mathcal{L}\) has been extended by new atoms. We will prove in this paper that their construction preserves also rational and skeptical rational extensions.