L. D. Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Изв. РАН. Сер. матем., 89:1 (2025), 3–17 ; Izv. Math., 89:1 (2025), 1–14
Bagaria J., “Derived Topologies on Ordinals and Stationary Reflection”, Trans. Am. Math. Soc., 371:3 (2019), 1981–2002
Fernandez-Duque D., Joosten J.J., “The Omega-Rule Interpretation of Transfinite Provability Logic”, Ann. Pure Appl. Log., 169:4 (2018), 333–371
Berger G., Beklemishev L.D., Tompits H., “A Many-Sorted Variant of Japaridze'S Polymodal Provability Logic”, Log. J. IGPL, 26:5 (2018), 505–538
Beklemishev L.D., “On the Reduction Property For Glp-Algebras”, Dokl. Math., 95:1 (2017), 50–54
Ф. Н. Пахомов, “Линейные $\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
Shamkanov D., “Nested Sequents For Provability Logic Glp”, Log. J. IGPL, 23:5 (2015), 789–815
Beklemishev L., “Positive Provability Logic for Uniform Reflection Principles”, Ann. Pure Appl. Log., 165:1, SI (2014), 82–105
Beklemishev L.D., Fernandez-Duque D., Joosten J.J., “On Provability Logics with Linearly Ordered Modalities”, Stud. Log., 102:3 (2014), 541–566
Lev Beklemishev, David Gabelaia, Outstanding Contributions to Logic, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257