Maciej Głowacki, Mateusz Łełyk, “Reflecting on believability: on the epistemic approach to justifying implicit commitments”, Philos Stud, 2024
M. Łełyk, C. Nicolai, “Implicit commitment in a general setting”, Journal of Logic and Computation, 2023, exad025
Л. Д. Беклемишев, “Спектры консервативности и модель Йоостена–Фернандеса”, Докл. РАН. Матем., информ., проц. упр., 505 (2022), 5–10 ; L. D. Beklemishev, “Conservativity spectra and Joosten–Fernández model”, Dokl. Math., 106:1 (2022), 213–217
D. Fernández-Duque, E. Hermo-Reyes, “Deducibility and independence in Beklemishev's autonomous provability calculus”, Information and Computation, 287 (2022), 104758
L. D. Beklemishev, F. N. Pakhomov, “Reflection algebras and conservation results for theories of iterated truth”, Annals of Pure and Applied Logic, 173:5 (2022), 103093
F. Pakhomov, J. Walsh, “Reflection ranks and ordinal analysis”, J. Symb. Log., 86:4 (2021), PII S0022481220000092, 1350–1384
Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 195