Notes on bounded induction for the compositional truth predicate B Wcisło, M Łełyk The Review of Symbolic Logic 10 (3), 455-480, 2017 | 26 | 2017 |
Models of weak theories of truth M Łełyk, B Wcisło Archive for Mathematical Logic 56 (5-6), 453-474, 2017 | 17 | 2017 |
Truth and feasible reducibility A Enayat, M Łełyk, B Wcisło The Journal of Symbolic Logic 85 (1), 367-421, 2020 | 12 | 2020 |
Models of positive truth M Łełyk, B Wcisło The Review of Symbolic Logic 12 (1), 144-172, 2019 | 9 | 2019 |
MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE C CIEŚLIŃSKI, M ŁEŁYK, B WCISŁO The Review of Symbolic Logic 10 (1), 187-202, 2017 | 9 | 2017 |
Disjunctions with stopping conditions R Kossak, B Wcisło Bulletin of Symbolic Logic 27 (3), 231-253, 2021 | 7 | 2021 |
Local collection and end-extensions of models of compositional truth M Łełyk, B Wcisło Annals of Pure and Applied Logic 172 (6), 102941, 2021 | 5 | 2021 |
The two halves of disjunctive correctness C Cieśliński, M Łełyk, B Wcisło Journal of Mathematical Logic 23 (02), 2250026, 2023 | 4 | 2023 |
Universal properties of truth M Łełyk, B Wcisło arXiv preprint arXiv:2304.00370, 2023 | 3 | 2023 |
Full satisfaction classes, definability, and automorphisms B Wcisło Notre Dame Journal of Formal Logic 63 (2), 143-163, 2022 | 1 | 2022 |
Topological models of arithmetic A Enayat, JD Hamkins, B Wcisło Fundamenta Mathematicae 256, 171-193, 2021 | 1 | 2021 |
Understanding the Strength of the Compositional Truth B Wcisło | 1 | 2018 |
Strong and Weak Truth Principles 3 B Wcisło, M Łełyk Studia Semiotyczne—English Supplement Volume XXIX, 107, 2017 | 1 | 2017 |
Truth and collection B Wcisło arXiv preprint arXiv:2403.19367, 2024 | | 2024 |
Compositional truth with propositional tautologies and quantifier-free correctness B Wcisło Archive for Mathematical Logic 63 (1), 239-257, 2024 | | 2024 |
Silne i słabe własności pojęcia prawdy B Wcisło, M Łełyk Studia Semiotyczne 30 (2), 185-206, 2016 | | 2016 |