- L. D. Beklemishev, “Independent enumerations of theories and recursive progressions”, Sib Math J, 33, № 5, 1992, 760
- ANTONIO MONTALBÁN, JAMES WALSH, “ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR”, J. symb. log., 84, № 1, 2019, 205
- PER LINDSTRöM, “Provability logic—a short introduction”, Theoria, 62, № 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, № 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, № 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, № 1, 2020
- Lev D. Beklemishev, “On bimodal logics of provability”, Annals of Pure and Applied Logic, 68, № 2, 1994, 115