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