Евгений Владимирович Дашков, Evgenij Vladimirovich Dashkov, “О позитивном фрагменте полимодальной логики доказуемости $\mathbf{GLP}$”, Матем. заметки, 91, no. 3, 2012, 331
Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten, “On Provability Logics with Linearly Ordered Modalities”, Stud Logica, 102, no. 3, 2014, 541
Lev Beklemishev, “Positive provability logic for uniform reflection principles”, Annals of Pure and Applied Logic, 165, no. 1, 2014, 82
Fedor Nikolaevich Pakhomov, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Известия Российской академии наук. Серия математическая, 80, no. 6, 2016, 173
Thomas F. Icard, Joost J. Joosten, “Provability and Interpretability Logics with Restricted Realizations”, Notre Dame J. Formal Logic, 53, no. 2, 2012
Daniyar Shamkanov, “Nested sequents for provability logic GLP: FIG. 1.”, Logic Jnl IGPL, 23, no. 5, 2015, 789
David Fernández-Duque, Joost J. Joosten, “The omega-rule interpretation of transfinite provability logic”, Annals of Pure and Applied Logic, 169, no. 4, 2018, 333
Lev Beklemishev, 6618, Logic, Language, and Computation, 2011, 1
David Fernández-Duque, “The polytopologies of transfinite provability logic”, Arch. Math. Logic, 53, no. 3-4, 2014, 385
Juan P. Aguilera, “A topological completeness theorem for transfinite provability logic”, Arch. Math. Logic, 62, no. 5-6, 2023, 751