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
ALI ENAYAT, MATEUSZ ŁEŁYK, “AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW”, J. symb. log., 88:4 (2023), 1526
Mateusz ŁeŁyk, Carlo Nicolai, “Implicit commitment in a general setting”, Journal of Logic and Computation, 2023
James Walsh, “Evitable iterates of the consistency operator”, COM, 12:1 (2023), 59