L. D. Beklemishev, “A simplified proof of arithmetical completeness theorem for provability logic GLP”, Proc. Steklov Inst. Math., 274, № 1, 2011, 25
E. V. Dashkov, “On the positive fragment of the polymodal provability logic GLP”, Math Notes, 91, № 3-4, 2012, 318
Lev Beklemishev, David Gabelaia, “Topological completeness of the provability logic GLP”, Annals of Pure and Applied Logic, 164, № 12, 2013, 1201
Ilya Shapirovsky, “Satisfiability Problems on Sums of Kripke Frames”, ACM Trans. Comput. Logic, 23, № 3, 2022, 1
Lev Beklemishev, David Gabelaia, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257
Gerald Berger, Lev D Beklemishev, Hans Tompits, “A many-sorted variant of Japaridze’s polymodal provability logic”, Logic Journal of the IGPL, 26, № 5, 2018, 505
Daniyar S. Shamkanov, “Interpolation properties for provability logics GL and GLP”, Proc. Steklov Inst. Math., 274, № 1, 2011, 303
L. D. Beklemishev, “On the reduction property for GLP-algebras”, Dokl. Math., 95, № 1, 2017, 50
F N Pakhomov, “Linear $ \mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80, № 6, 2016, 1159
Lev Veniaminovich Dvorkin, “О логиках доказуемости арифметики Нибергалля”, Известия Российской академии наук. Серия математическая, 88, № 3, 2024, 61