Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4 (2018), 3–52 ; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613
ANDRÉS CORDÓN-FRANCO, DAVID FERNÁNDEZ-DUQUE, JOOST J. JOOSTEN, FRANCISCO FÉLIX LARA-MARTÍN, “PREDICATIVITY THROUGH TRANSFINITE REFLECTION”, J. symb. log., 82:3 (2017), 787
Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104:6 (2016), 1225
Ф. Н. Пахомов, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Изв. РАН. Сер. матем., 80:6 (2016), 173–216 ; F. N. Pakhomov, “Linear $\mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80:6 (2016), 1159–1199
F. Pakhomov, “On the complexity of the closed fragment of Japaridze's provability logic”, Arch. Math. Logic, 53:7 (2014), 949–967
David Fernández-Duque, “The polytopologies of transfinite provability logic”, Arch. Math. Logic, 53:3-4 (2014), 385