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, no. 5, 2015, 842
Fedor Nikolaevich Pakhomov, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Известия Российской академии наук. Серия математическая, 80, no. 6, 2016, 173
Albert Visser, “The Arithmetics of a Theory”, Notre Dame J. Formal Logic, 56, no. 1, 2015
F N Pakhomov, “Linear $ \mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80, no. 6, 2016, 1159
Reinhard Kahle, “Is There a “Hilbert Thesis”?”, Stud Logica, 107, no. 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, no. 3, 2023, 29
Фeдор Николаевич Пахомов, Fedor Nikolaevich Pakhomov, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203, no. 8, 2012, 141
Fedor N Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203, no. 8, 2012, 1211