Reyes E.H., Joosten J.J., “the Logic of Turing Progressions”, Notre Dame J. Form. Log., 61:1 (2020), 155–180
Kolmakov E., “Local Reflection, Definable Elements and 1-Provability”, Arch. Math. Log., 59:7-8 (2020), 979–996
Willard D.E., “On the Tender Line Separating Generalizations and Boundary-Case Exceptions For the Second Incompleteness Theorem Under Semantic Tableaux Deduction”, Logical Foundations of Computer Science (Lfcs 2020), Lecture Notes in Computer Science, 11972, eds. Artemov S., Nerode A., Springer International Publishing Ag, 2020, 268–286
Salehi S., “Godel'S Second Incompleteness Theorem: How It Is Derived and What It Delivers”, Bull. Symb. Log., 26:3-4 (2020), PII S1079898620000360, 241–256
Bagaria J., “Derived Topologies on Ordinals and Stationary Reflection”, Trans. Am. Math. Soc., 371:3 (2019), 1981–2002
Montalban A., Walsh J., “On the Inevitability of the Consistency Operator”, J. Symb. Log., 84:1 (2019), 205–225
Kolmakov E., Beklemishev L., “Axiomatization of Provable N-Provability”, J. Symb. Log., 84:2 (2019), 849–869
Nicolai C., Piazza M., “the Implicit Commitment of Arithmetical Theories and Its Semantic Core”, Erkenntnis, 84:4 (2019), 913–937
Cieslinski C., “Minimalism and the Generalisation Problem: on Horwich'S Second Solution”, Synthese, 195:3, SI (2018), 1077–1101
Heck Jr. Richard G., “The Logical Strength of Compositional Principles”, Notre Dame J. Form. Log., 59:1 (2018), 1–33