Bartosz Wcisło, “Saturation properties for compositional truth with propositional correctness”, Annals of Pure and Applied Logic, 176:2 (2025), 103512
Athar Abdul-Quader, Mateusz Łełyk, “Pathologies in satisfaction classes”, Annals of Pure and Applied Logic, 175:2 (2024), 103387
Bartosz Wcisło, “Compositional truth with propositional tautologies and quantifier-free correctness”, Arch. Math. Logic, 63:1-2 (2024), 239
Ali Enayat, “Indiscernibles and satisfaction classes in arithmetic”, Arch. Math. Logic, 2024
Guanglong Luo, Leon Horsten, Sam Roberts, “Truth and Finite Conjunction”, Mind, 2024
MATEUSZ ZBIGNIEW ŁEŁYK, “MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE”, J. symb. log., 88:2 (2023), 738
Cezary Cieśliński, Mateusz Łełyk, Bartosz Wcisło, “The two halves of disjunctive correctness”, J. Math. Log., 23:02 (2023)
ALI ENAYAT, MATEUSZ ŁEŁYK, “AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW”, J. symb. log., 88:4 (2023), 1526
David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten, Lecture Notes in Computer Science, 13137, Logical Foundations of Computer Science, 2022, 52
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