Gian Aldo Antonelli A Revision-Theoretic Analysis of the Arithmetical Hierarchy. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:204-218 [Journal]
Leon Horsten Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:284-291 [Journal]