- Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten, “On Provability Logics with Linearly Ordered Modalities”, Stud Logica, 102, no. 3, 2014, 541
- Lev Beklemishev, “Positive provability logic for uniform reflection principles”, Annals of Pure and Applied Logic, 165, no. 1, 2014, 82
- Joost J. Joosten, “Turing–Taylor Expansions for Arithmetic Theories”, Stud Logica, 104, no. 6, 2016, 1225
- Andreas Weiermann, “Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results”, Annals of Pure and Applied Logic, 136, no. 1-2, 2005, 189
- Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61, no. 1, 2020
- L. D. Beklemishev, “On the reduction property for GLP-algebras”, Dokl. Math., 95, no. 1, 2017, 50
- Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189
- David Fernández-Duque, Eduardo Hermo-Reyes, 11541, Logic, Language, Information, and Computation, 2019, 195
- Mikhail Vladimirovich Svyatlovskiy, “Аксиоматизация и полиномиальная разрешимость
строго позитивных фрагментов некоторых модальных логик”, Математические заметки, 103, no. 6, 2018, 884
- E. V. Dashkov, “On the positive fragment of the polymodal provability logic GLP”, Math Notes, 91, no. 3-4, 2012, 318