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, 453-474, 2017 | 17 | 2017 |
Axiomatic theories of truth, bounded induction and reflection principles M Łełyk | 13 | 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 |
Scalar and Vectorial mu-calculus with Atoms B Klin, M Łełyk Logical Methods in Computer Science 15, 2019 | 9 | 2019 |
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 |
Model theory and proof theory of the global reflection principle MZ Łełyk The Journal of Symbolic Logic 88 (2), 738-779, 2023 | 7 | 2023 |
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 |
A theory of implicit commitment M Łełyk, C Nicolai Synthese 200 (4), 284, 2022 | 3 | 2022 |
Axiomatizations of Peano Arithmetic: A truth-theoretic view A Enayat, M Łełyk The Journal of Symbolic Logic 88 (4), 1526-1555, 2023 | 2 | 2023 |
Comparing axiomatic theories of truth M Łełyk Studia Semiotyczne 33 (2), 255-286, 2019 | 2 | 2019 |
Strong and Weak Truth Principles 3 B Wcisło, M Łełyk Studia Semiotyczne—English Supplement Volume XXIX, 107, 2017 | 1 | 2017 |
Varieties of truth definitions P Gruza, M Łełyk Archive for Mathematical Logic, 1-27, 2024 | | 2024 |
Categoricity-like properties in the first-order realm A Enayat, M Łełyk | | 2024 |
Pathologies in satisfaction classes A Abdul-Quader, M Łełyk Annals of Pure and Applied Logic 175 (2), 103387, 2024 | | 2024 |
Implicit commitment in a general setting M ŁeŁyk, C Nicolai Journal of Logic and Computation, exad025, 2023 | | 2023 |
Implicit Commitment in a General Setting C Nicolai, M Łełyk Journal of Logic and Computation, 2023 | | 2023 |