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
Fedor Pakhomov, “On the complexity of the closed fragment of Japaridze’s provability logic”, Arch. Math. Logic, 2014
Shavrukov V.Yu., Visser A., “Uniform Density in Lindenbaum Algebras”, Notre Dame J. Form. Log., 55:4 (2014), 569–582
Volker Halbach, Albert Visser, Studies in Universal Logic, The Life and Work of Leon Henkin, 2014, 249
Lev Beklemishev, David Gabelaia, Outstanding Contributions to Logic, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257