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
Д. С. Шамканов, “Интерполяционные свойства логик доказуемости $\mathbf{GL}$ и $\mathbf{GLP}$”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 329–342 ; Daniyar S. Shamkanov, “Interpolation properties for provability logics $\mathbf{GL}$ and $\mathbf{GLP}$”, Proc. Steklov Inst. Math., 274 (2011), 303–316