Nicolai C., Rossi L., “Principles For Object-Linguistic Consequence: From Logical to Irreflexive”, J. Philos. Log., 47:3 (2018), 549–577
Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4(442) (2018), 3–52 ; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613
Murzi J., Rossi L., “Reflection Principles and the Liar in Context”, Philos. Impr., 18:15 (2018), 1–18
Berger G., Beklemishev L.D., Tompits H., “A Many-Sorted Variant of Japaridze'S Polymodal Provability Logic”, Log. J. IGPL, 26:5 (2018), 505–538
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