Petr Hájek Epistemic Entrenchment and Arithmetical Hierarchy. 79-87 1993 62 Artif. Intell. 1 db/journals/ai/ai62.html#Hajek93