L. D. Beklemishev, “Independent enumerations of theories and recursive progressions”, Sib Math J, 33, no. 5, 1992, 760
ANTONIO MONTALBÁN, JAMES WALSH, “ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR”, J. symb. log., 84, no. 1, 2019, 205
PER LINDSTRöM, “Provability logic—a short introduction”, Theoria, 62, no. 1-2, 1996, 19
David Fernández-Duque, Joost J. Joosten, “The omega-rule interpretation of transfinite provability logic”, Annals of Pure and Applied Logic, 169, no. 4, 2018, 333
Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
Vladimir A. Uspensky, Logic and Scientific Methods, 1997, 457
James Walsh, “Evitable iterates of the consistency operator”, COM, 12, no. 1, 2023, 59
Giorgi Japaridze, Dick de Jongh, 137, Handbook of Proof Theory, 1998, 475
Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61, no. 1, 2020
Lev D. Beklemishev, “On bimodal logics of provability”, Annals of Pure and Applied Logic, 68, no. 2, 1994, 115