"Universal Properties of Truth" (joint work with Bartosz Wcisło), to appear in Journal of Mathematical Logic, arxiv preprint
"Reflecting on Believability: on the Epistemic Approach to Justifying Implicit Commitments" (joint work with Maciek Głowacki), Philosophical Studies, published version
"Categoricity-like Properties in the First-Order Realm" (joint work with Ali Enayat), The Journal for the Philosophy of Mathematics, published version
"Varieties of Truth Definitions" (joint work with Piotr Gruza), Archive for Mathematical Logic, published version
"Pathologies in Satisfaction Classes" (joint work with Athar Abdul-Quader), Annals of Pure and Applied Logic, published version (OA)
"Axiomatizations of Peano Arithmetic: A Truth Theoretic-View" (joint work with Ali Enayat), Journal of Symbolic Logic, preprint.
"Implicit Commitment in a general setting" (joint work with Carlo Nicolai), to appear in Journal of Logic and computation, arxiv preprint
"Model Theory and Proof Theory of the Global Reflection Principle", Journal of Symbolic Logic, preprint
"A Theory of Implicit Commitment" (joint with Carlo Nicolai), Synthese (OA)
"The Two Halves of Disjunctive Correctness" (working title; joint with Cezary Cieśliński and Bartosz Wcisło), Journal of Mathematical Logic, preprint.
"Local Collection Scheme and End-extensions of Models of Compositional truth" (joint with Bartosz Wcisło), Annals of Pure and Applied Logic, preprint
"Truth and Feasible Reducibility" (joint with Ali Enayat and Bartosz Wcisło), Journal of Symbolic Logic, preprint
"Scalar and Vectorial \mu-calculus with Atoms" (joint with Bartosz Klin), LMCS
"Models of Positive Truth" (joint with Bartosz Wcisło), The Review of Symbolic Logic, preprint
"Notes on Bounded Induction for the Compositional Truth Predicate" (joint with Bartosz Wcisło), The Review of Symbolic Logic, preprint
"Models of PT- with Internal Induction for Total Formulae" (joint with Cezary Cieśliński and Bartosz Wcisło), The Review of Symbolic Logic, preprint
"Models of Weak Theories of Truth" (joint with Bartosz Wcisło), Archive for Mathematical Logic, preprint
"Weak and Strong Truth Principles" (joint with Bartosz Wcisło), Studia Semiotyczne, polish version, english version
"On Comparing Axiomatic Theories of Truth", Studia Semiotyczne, online version
Draft versions
[2512.09120] Tightness and solidity in fragments of Peano Arithmetic, joint work with Piotr Gruza and Leszek Kołodziejczyk.
[2508.14758] Completions of Restricted Complexity I, Weak Arithmetical Theories, joint work with Ali Enayat and Albert Visser.
[2507.12025] Classifying the complexity of models of arithmetic, joint work with Dino Rossegger, David Gonzalez and Patryk Szlufik.
[2512.05263] Descending sequences in reflection hierarchies, joint work with James Walsh.
"Reflection Inversion"
"Axiomatizations of Peano Arithmetic: A Truth Theoretic-View, pt. 2" (working title).
"Some remarks on the Scott Spectra of B-models and I-models" (working title) joint work with Leszek Kołodziejczyk and Patryk Szlufik.
"Around the Categoricity of KF\mu", joint with Luca Castaldo and Konstantinos Papafilippou
"A case for Epistemic Stability", joint work with Maciej Głowacki and Matteo Zicchetti