According to On the intertranslatability of non‐monotonic logics, DL (default logic), SAEL (strong autoepistemic logic) and PL (priority logic) have the same expressive power in the following polynomial time hierarchy (PH):
(NDL (normal default logic), AEL (autoepistemic logic), PDL (prerequisite-free default logic), WDL (weak default logic), PNDL (prerequisite-free and normal default logic), CIRC (parallel circumscription), CL (classical propositional logic)).
My question is: Is there a logic more expressive than Default Logic?