"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
"Axiomatizations of Peano Arithmetic: A Truth Theoretic-View, pt. 2" (working title).
"Tightness and Solidity for Theories of Arithmetic" (working title), joint work with Piotr Gruza and Leszek Kołodziejczyk.
"Bounded Axiomatizability of Sequential Theories" (working title), joint work with Ali Enayat and Albert Visser.
"Reflection Inversion Theorems"
"Scott Sentence Complexity of Models of Peano Arithmetic" (working title), joint work with Dino Rossegger, David Gonzalez and Patryk Szlufik.
"Some remarks on the Scott Spectra of B-models and I-models" (working title) joint work with Leszek Kołodziejczyk and Patryk Szlufik.
"Descending Sequences in Reflection Hierarchies" (joint work with James Walsh).