- Lev Beklemishev, 6618, Logic, Language, and Computation, 2011, 1
- Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten, “On Provability Logics with Linearly Ordered Modalities”, Stud Logica, 102, no. 3, 2014, 541
- Daniyar Shamkanov, “Nested sequents for provability logic GLP: FIG. 1.”, Logic Jnl IGPL, 23, no. 5, 2015, 789
- Lev D. Beklemishev, 10388, Logic, Language, Information, and Computation, 2017, 48
- Fedor N Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203, no. 8, 2012, 1211
- Volker Halbach, Albert Visser, The Life and Work of Leon Henkin, 2014, 249
- E. V. Dashkov, “On the positive fragment of the polymodal provability logic GLP”, Math Notes, 91, no. 3-4, 2012, 318
- Фeдор Николаевич Пахомов, Fedor Nikolaevich Pakhomov, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203, no. 8, 2012, 141
- Lev D. Beklemishev, 10703, Logical Foundations of Computer Science, 2018, 91
- Lev D. Beklemishev, “Kripke semantics for provability logic GLP”, Annals of Pure and Applied Logic, 161, no. 6, 2010, 756