Mateusz Lelyk

15 papers B 1Journal 14
YearRankTypeTitle / Venue / Authors
2024 J jnl
Implicit commitment in a general setting.
J. Log. Comput.
Mateusz Lelyk, Carlo Nicolai
2024 J jnl
Pathologies in satisfaction classes.
Ann. Pure Appl. Log.
Athar Abdul-Quader, Mateusz Lelyk
2024 J jnl
Varieties of truth definitions.
Arch. Math. Log.
Piotr Gruza, Mateusz Lelyk
2023 J jnl
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View.
J. Symb. Log.
Ali Enayat, Mateusz Lelyk
2023 J jnl
Model Theory and Proof Theory of the Global Reflection Principle.
J. Symb. Log.
Mateusz Lelyk
2023 J jnl
The two halves of disjunctive correctness.
J. Math. Log.
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
2021 J jnl
Local collection and end-extensions of models of compositional truth.
Ann. Pure Appl. Log.
Mateusz Lelyk, Bartosz Wcislo
2020 J jnl
Truth and Feasible Reducibility.
J. Symb. Log.
Ali Enayat, Mateusz Lelyk, Bartosz Wcislo
2019 J jnl
Models of positive Truth.
Rev. Symb. Log.
Mateusz Lelyk, Bartosz Wcislo
2019 J jnl
Scalar and Vectorial mu-calculus with Atoms.
Log. Methods Comput. Sci.
Bartek Klin, Mateusz Lelyk
2018 J jnl
Scalar and Vectorial mu-calculus with Atoms.
CoRR
Bartek Klin, Mateusz Lelyk
2017 B conf
Modal mu-Calculus with Atoms.
CSL
Bartek Klin, Mateusz Lelyk
2017 J jnl
Models of Pt- with Internal Induction for total Formulae.
Rev. Symb. Log.
Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo
2017 J jnl
Models of weak theories of truth.
Arch. Math. Log.
Mateusz Lelyk, Bartosz Wcislo
2017 J jnl
Notes on Bounded Induction for the Compositional Truth Predicate.
Rev. Symb. Log.
Bartosz Wcislo, Mateusz Lelyk