ANA DE ALMEIDA BORGES, JOOST J. JOOSTEN, “AN ESCAPE FROM VARDANYAN'S THEOREM”, J. symb. log., 88:4 (2023), 1613
Mikhail Svyatlovskiy, “Modal Companions of $K4^{+}$”, Stud Logica, 110:5 (2022), 1327
David Fernández-Duque, Eduardo Hermo-Reyes, “Deducibility and independence in Beklemishev's autonomous provability calculus”, Information and Computation, 287 (2022), 104758
Lev D. Beklemishev, Fedor N. Pakhomov, “Reflection algebras and conservation results for theories of iterated truth”, Ann. Pure Appl. Logic, 173:5 (2022), 103093–41
Fedor Pakhomov, James Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), 1350–1384
Dan E Willard, “About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction”, Journal of Logic and Computation, 31:1 (2021), 375
Eduardo Hermo Reyes, Joost J. Joosten, “The Logic of Turing Progressions”, Notre Dame J. Formal Logic, 61:1 (2020)
STANISLAV KIKOT, AGI KURUCZ, YOSHIHITO TANAKA, FRANK WOLTER, MICHAEL ZAKHARYASCHEV, “KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS”, J. symb. log., 84:02 (2019), 533
David Fernández-Duque, Eduardo Hermo-Reyes, Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 195
TOMMASO MORASCHINI, “VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS”, The Review of Symbolic Logic, 12:3 (2019), 557