- 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