L. D. Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Изв. РАН. Сер. матем., 89:1 (2025), 3–17 ; Izv. Math., 89:1 (2025), 1–14
Andrés Cordón-Franco, F. Félix Lara-Martín, “Semi-honest subrecursive degrees and the collection rule in arithmetic”, Arch. Math. Logic, 63:1-2 (2024), 163
Piotr Gruza, Mateusz Łełyk, “Varieties of truth definitions”, Arch. Math. Logic, 2024
EVGENY A. KOLMAKOV, “ON SHAVRUKOV'S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS”, The Review of Symbolic Logic, 17:1 (2024), 206
Haruka Kogure, Taishi Kurahashi, “On the conservation results for local reflection principles”, Journal of Logic and Computation, 2024
Л. В. Дворкин, “О логиках доказуемости арифметики Нибергалля”, Изв. РАН. Сер. матем., 88:3 (2024), 61–100 ; L. V. Dvorkin, “On provability logics of Niebergall arithmetic”, Izv. Math., 88:3 (2024), 468–505
Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama, “Ramsey's theorem for pairs, collection, and proof size”, J. Math. Log., 24:02 (2024)
Luca Castaldo, Maciej Głowacki, “Implicit commitments of instrumental acceptance: A case study”, The Philosophical Quarterly, 2024
Maciej Głowacki, Mateusz Łełyk, “Reflecting on believability: on the epistemic approach to justifying implicit commitments”, Philos Stud, 2024
ALI ENAYAT, MATEUSZ ŁEŁYK, “AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW”, J. symb. log., 88:4 (2023), 1526