Chao C., Seraji P., “Godel'S Second Incompleteness Theorem For SIGMA(N)-Definable Theories”, Log. J. IGPL, 26:2 (2018), 255–257
Kolmakov E.A., Beklemishev L.D., “Axiomatizing Provable N-Provability”, Dokl. Math., 98:3 (2018), 582–585
Lev D. Beklemishev, “A universal algebra for the variable-free fragment of $RC^\nabla$”, Lecture Notes in Comput. Sci., 10703 (2018), 91–106
Kikuchi M., Kurahashi T., “Generalizations of Gödel'S Incompleteness Theorems For SIGMA(N)-Definable Theories of Arithmetic”, Rev. Symb. Log., 10:4 (2017), 603–616
Fischer M., Nicolai C., Horsten L., “Iterated Reflection Over Full Disquotational Truth”, J. Logic Comput., 27:8 (2017), 2631–2651
Beklemishev L.D., “On the Reflection Calculus With Partial Conservativity Operators”, Logic, Language, Information, and Computation: 24Th International Workshop, Wollic 2017, London, UK, July 18-21, 2017, Proceedings, Lecture Notes in Computer Science, 10388, eds. Kennedy J., DeQueiroz R., Springer International Publishing Ag, 2017, 48–67
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
F. N. Pakhomov, “On elementary theories of ordinal notation systems based on reflection principles”, Proc. Steklov Inst. Math., 289 (2015), 194–212
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