Modal mu-Calculus with Atoms. - Bartek Klin; Mateusz Lelyk (CSL, 2017)

Models of weak theories of truth. - Mateusz Lelyk; Bartosz Wcislo (Arch. Math. Log., 2017)

Models of Pt- with Internal Induction for total Formulae. - Cezary Cieslinski; Mateusz Lelyk; Bartosz Wcislo (Rev. Symb. Log., 2017)

Notes on Bounded Induction for the Compositional Truth Predicate. - Bartosz Wcislo; Mateusz Lelyk (Rev. Symb. Log., 2017)

Scalar and Vectorial mu-calculus with Atoms. - Bartek Klin; Mateusz Lelyk (Log. Methods Comput. Sci., 2019)

Models of positive Truth. - Mateusz Lelyk; Bartosz Wcislo (Rev. Symb. Log., 2019)

Truth and Feasible Reducibility. - Ali Enayat; Mateusz Lelyk; Bartosz Wcislo (J. Symb. Log., 2020)

Local collection and end-extensions of models of compositional truth. - Mateusz Lelyk; Bartosz Wcislo (Ann. Pure Appl. Log., 2021)

Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. - Ali Enayat; Mateusz Lelyk (J. Symb. Log., 2023)

Model Theory and Proof Theory of the Global Reflection Principle. - Mateusz Lelyk (J. Symb. Log., 2023)

The two halves of disjunctive correctness. - Cezary Cieslinski; Mateusz Lelyk; Bartosz Wcislo (J. Math. Log., 2023)

Pathologies in satisfaction classes. - Athar Abdul-Quader; Mateusz Lelyk (Ann. Pure Appl. Log., 2024)

Implicit commitment in a general setting. - Mateusz Lelyk; Carlo Nicolai (J. Log. Comput., 2024)

Varieties of truth definitions. - Piotr Gruza; Mateusz Lelyk (Arch. Math. Log., 2024)