Fedor Nikolaevich Pakhomov, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Известия Российской академии наук. Серия математическая, 80, № 6, 2016, 173
Lev Dmitrievich Beklemishev, “Исчисление для схем рефлексии и спектры консервативности”, Успехи математических наук, 73, № 4(442), 2018, 3
L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, № 4, 2018, 569
Евгений Владимирович Дашков, Evgenij Vladimirovich Dashkov, “О позитивном фрагменте полимодальной логики доказуемости $\mathbf{GLP}$”, Матем. заметки, 91, № 3, 2012, 331
Albert Visser, “Transductions in arithmetic”, Annals of Pure and Applied Logic, 167, № 3, 2016, 211
Lev Beklemishev, David Gabelaia, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257
Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze’s provability logic”, Arch. Math. Logic, 53, № 7-8, 2014, 949
David Fernández-Duque, Joost J. Joosten, “Models of transfinite provability logic”, J. symb. log., 78, № 2, 2013, 543
Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104, № 6, 2016, 1225
Thomas F. Icard, Joost J. Joosten, “Provability and Interpretability Logics with Restricted Realizations”, Notre Dame J. Formal Logic, 53, № 2, 2012