On the relation between default and autoepistemic logic
Default reasoning is defined within the theory of the knowledge base itself with the indexial (modal) operator L (``is a part of the theory''). An interpretive possible world semantics for default logic is given. This is a way to show that with respect to their expressive power default theories can be embedded into autoepistemic logic and that the reverse translation is also possible.
scientific article; zbMATH DE number 4057046