А. Л. Семенов, М. А. Бабенко, А. Я. Белов, Н. К. Верещагин, М. Е. Вишникин, Е. Е. Золин, В. Н. Крупский, С. Л. Кузнецов, В. А. Любецкий, А. А. Оноприенко, М. Р. Пентус, С. Ф. Сопрунов, А. А. Сорокин, В. Б. Шехтман, Т. Л. Яворская, “Кафедра математической логики и теории алгоритмов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1, 23–32 ; A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, Moscow University Mеchanics Bulletin, 80:1 (2025), 23–33
MOHAMMAD GOLSHANI, REIHANE ZOGHIFARD, “COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES”, J. symb. log., 89:1 (2024), 163
Brice Halimi, “Geometric Modal Logic”, Notre Dame J. Formal Logic, 64:3 (2023)
Juan P. Aguilera, “A topological completeness theorem for transfinite provability logic”, Arch. Math. Logic, 62:5-6 (2023), 751
David Fernández-Duque, Eduardo Hermo-Reyes, “Deducibility and independence in Beklemishev's autonomous provability calculus”, Information and Computation, 287 (2022), 104758
JOOST J. JOOSTEN, “MÜNCHHAUSEN PROVABILITY”, J. symb. log., 86:3 (2021), 1006
David Fernández-Duque, Eduardo Hermo-Reyes, Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 195
David Fernández-Duque, Joost J. Joosten, “The omega-rule interpretation of transfinite provability logic”, Annals of Pure and Applied Logic, 169:4 (2018), 333
Л. Д. Беклемишев, “О свойстве редукции для $GLP$-алгебр”, Докл. РАН, 472:4 (2017), 378–382 ; L. D. Beklemishev, “On the Reduction Property for GLP-Algebras”, Dokl. Math., 95:1 (2017), 50–54
JUAN P. AGUILERA, DAVID FERNÁNDEZ-DUQUE, “STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES”, J. symb. log., 82:2 (2017), 608