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)

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)

Disjunctions with Stopping conditions. - Roman Kossak; Bartosz Wcislo (Bull. Symb. Log., 2021)

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

Compositional truth with propositional tautologies and quantifier-free correctness. - Bartosz Wcislo (Arch. Math. Log., 2024)

Saturation properties for compositional truth with propositional correctness. - Bartosz Wcislo (Ann. Pure Appl. Log., 2025)