Evan Goris, 4514, Logical Foundations of Computer Science, 2007, 241
Mohammad Ardeshir, S. Mojtaba Mojtahedi, “Reduction of provability logics to Σ1-provability logics”, Logic Jnl IGPL, 23, № 5, 2015, 842
Fedor Nikolaevich Pakhomov, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Известия Российской академии наук. Серия математическая, 80, № 6, 2016, 173
Albert Visser, “The Arithmetics of a Theory”, Notre Dame J. Formal Logic, 56, № 1, 2015
F N Pakhomov, “Linear $ \mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80, № 6, 2016, 1159
Reinhard Kahle, “Is There a “Hilbert Thesis”?”, Stud Logica, 107, № 1, 2019, 145
Mojtaba Mojtahedi, 49, Mathematics, Logic, and their Philosophies, 2021, 253
Marco Maggesi, Cosimo Perini Brogi, “Mechanising Gödel–Löb Provability Logic in HOL Light”, J Autom Reasoning, 67, № 3, 2023, 29
Фeдор Николаевич Пахомов, Fedor Nikolaevich Pakhomov, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203, № 8, 2012, 141
Fedor N Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203, № 8, 2012, 1211