Cordon-Franco A., Fernandez-Duque D., Joosten J.J., Felix Lara-Martin F., “Predicativity Through Transfinite Reflection”, J. Symb. Log., 82:3 (2017), 787–808
Beklemishev L.D., “On the Reduction Property For Glp-Algebras”, Dokl. Math., 95:1 (2017), 50–54
Visser A., “Transductions in Arithmetic”, Ann. Pure Appl. Log., 167:3 (2016), 211–234
Kurahashi T., “Henkin Sentences and Local Reflection Principles For Rosser Provability”, Ann. Pure Appl. Log., 167:2 (2016), 73–94
Joosten J.J., “Turing–Taylor Expansions for Arithmetic Theories”, Stud. Log., 104:6 (2016), 1225–1243
R.G.. HECK, “CONSISTENCY AND THE THEORY OF TRUTH”, The Review of Symbolic Logic, 2015, 1
Ф. Н. Пахомов, “Об элементарных теориях систем ординальных обозначений на основе схем рефлексии”, Избранные вопросы математики и механики, Сборник статей. К 150-летию со дня рождения академика Владимира Андреевича Стеклова, Труды МИАН, 289, МАИК «Наука/Интерпериодика», М., 2015, 206–226 ; F. N. Pakhomov, “On elementary theories of ordinal notation systems based on reflection principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212
Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015), 3–20 ; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190
Shamkanov D., “Nested Sequents For Provability Logic Glp”, Log. J. IGPL, 23:5 (2015), 789–815
Beklemishev L., “Positive Provability Logic for Uniform Reflection Principles”, Ann. Pure Appl. Log., 165:1, SI (2014), 82–105