Takip et
Bartosz Wcisło
Bartosz Wcisło
University of Gdańsk
mimuw.edu.pl üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
252017
Models of weak theories of truth
M Łełyk, B Wcisło
Archive for Mathematical Logic 56 (5-6), 453-474, 2017
172017
Truth and feasible reducibility
A Enayat, M Łełyk, B Wcisło
The Journal of Symbolic Logic 85 (1), 367-421, 2020
122020
Models of positive truth
M Łełyk, B Wcisło
The Review of Symbolic Logic 12 (1), 144-172, 2019
92019
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
92017
Disjunctions with stopping conditions
R Kossak, B Wcisło
Bulletin of Symbolic Logic 27 (3), 231-253, 2021
72021
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
52021
The two halves of disjunctive correctness
C Cieśliński, M Łełyk, B Wcisło
Journal of Mathematical Logic 23 (02), 2250026, 2023
42023
Universal properties of truth
M Łełyk, B Wcisło
arXiv preprint arXiv:2304.00370, 2023
32023
Full satisfaction classes, definability, and automorphisms
B Wcisło
Notre Dame Journal of Formal Logic 63 (2), 143-163, 2022
12022
Topological models of arithmetic
A Enayat, JD Hamkins, B Wcisło
Fundamenta Mathematicae 256, 171-193, 2021
12021
Understanding the Strength of the Compositional Truth
B Wcisło
12018
Strong and Weak Truth Principles 3
B Wcisło, M Łełyk
Studia Semiotyczne—English Supplement Volume XXIX, 107, 2017
12017
Compositional truth with propositional tautologies and quantifier-free correctness
B Wcisło
Archive for Mathematical Logic, 1-19, 2023
2023
Silne i słabe własności pojęcia prawdy
B Wcisło, M Łełyk
Studia Semiotyczne 30 (2), 185-206, 2016
2016
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–15