Books (editing, co-editing, authorship, co-authorship)
Elementy logiki prawniczej, Iuris, Poznań 2000, E. Nieznański (ed.), co-authored with A. Wójtowicz, T. Chodkowski.
Jan Salamucha, Knowledge and Faith. Collected Works, J. Jadacki, K. Świętorzecka (eds.), Rodopi, Amsterdam/New York, NY, 2003.
Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages, CSWU Publ. House, Warsaw 2008.
W kierunku formalizacji filozofii klasycznej: inspiracje i kontynuacje, J. Krokos, K. Świętorzecka, R. Tomanek (eds.), CSWU Publ. House, Warsaw 2008.
U podstaw analizy filozoficznego dyskursu z wykorzystaniem interpretacji Władysława Tatarkiewicza, E. Niezńanski, K. Świętorzecka (eds.), CSWU Publ. House, Warsaw 2010.
6. Gödel’s Ontological Argument. History, Modifications, and Controversies, K. Świętorzecka (ed.), Semper, Warsaw 2015.
7. Bulletin of the Section of Logic, 2020(49/2), P. Blackburn, S. Kovač, K, Świętorzecka (eds.), Łódź Univ. Publ. House.
8. History and Philosophy of Logic, 2023, M. Łyczak, K. Świętorzecka (eds.), upcoming.
Selected articles from 2009 (authorship, co-authorship)
Between the Logic of Parmenides and the Logic of Liar. Bulletin of the Section of Logic, 2009(38): 123-134.
Some Remarks on Formal Description of God’s Omnipotence. Logic and Logical Philosophy, 2011(20): 307-315.
Discreteness of Time and Change. Studia Philosophiae Christianae, 2011(4): 5-16, co-authored with J. Czermak.
Some Calculus for a Logic of Change. Journal of Applied Non-Classical Logics, 2012(1): 3-10, co-authored with J. Czermak.
Jedyność i tożsamość Absolutu w Kurta Gödla teorii summum bonum. In: Identyczność znaku czy znak identyczności? Wokół logiki niefregowskiej. J. Golinska-Pilarek, A. Wójtowicz (eds.), Warsaw University Publ. House, Warsaw 2012, 177-188.
Metody urabiania definicji. Na marginesie artykułu „O filozofii analitycznej” Andrzeja Dabrowskiego. Przegląd Filozoficzny – Nowa Seria 21, 2012, 1(81): 127-137, co-authored with A. Brożek, J. Jadacki.
Ontologiczny dowód Gödla z ograniczoną redukcją modalności. Przegląd Filozoficzny – Nowa Seria 3, 2012(83): 21-34.
Towards Leibnizian Possibility. Formal Frame of Modal Theory of Individual Concepts. Studia Philosophiae Christianae, 2013(3): 72-84.
O możliwych światach pojęć jednostkowych. Formalna rekonstrukcja koncepcji B. Matesa. In: Księga pamiątkowa Marianowi Przełęckiemu w darze na 90-lecie urodzin. Nauka i Język II. A. Brożek, J. Jadacki (eds.), Norbertinum, Lublin 2014, 159-169.
O modalnej naturze argumentu św. Anzelma. Uwagi do artykułu“Logika modalna a dowód ontologiczny” Profesora Andrzeja Biłata. Filozofia Nauki 2014(1): 26-35.
An Argument for the Existence of God by Bolzano. A Formalization with a Distinction between Menge and Inbegriff. Bulletin of the Section of Logic 2014(43): 155-172.
Gödel’s ‘Ontologischer Beweis’. Remarks on Its Philosophical Background and Variations. In: Gödel’s Ontological Argument. History, Modifications, and Controversies, K. Świętorzecka (ed.), Semper, Warsaw 2015, 1-45.
Gödel’s ‘Slingshot’ Argument and His Onto-theologcal System. In: Gödel’s Ontological Argument. History, Modifications, and Controversies. K. Swietorzecka (ed.), Semper, Warsaw 2015, 123-162, coauthored with S. Kovač.
A Logic of Change with Modalities. Logique et Analyse, 2015, 232: 509-525, co-authored with J. Czermak.
The Universe in Leśniewski’s Mereology: Some Comments on Sobocinski’s Reflections. Axioms, 2016, 5(23), co-authored with M. Łyczak, M. Porwolik.
O pewnym przesądzie dotyczącym uniwersaliów. Uwagi do sformalizowanego przez Bolesława Sobocińskiego argumentu na rzecz tezy o nieistnieniu powszechników podanego przez Stanisława Leśniewskiego. In: Myśli o języku, nauce i wartościach. Seria druga Warszawa 2016, Wydawnictwo Naukowe Semper, 252-263, co-authored with M. Porwolik.
Bolzano’s Argument for the Existence of Substances. A Formalization with Two Types of Predication. Acta Analytica 2017(32), 411-426.
An even more Leibnizian version of Gödel's ontological argument. Journal of Applied Logics 2018 (now ISSN 978-1-84890-290-9, before 1570-8683), vol. 5 nr 7, 1553-1567, co-authored with M. Łyczak.
Bolesław Sobociński on Universals. Leśniewski’s Nominalism and Sobociński’s Metaconceptualism. In: Lvov-Warsaw School. Past and Present. A. Garrido, U. Wybraniec-Skardowska (eds.), Springer / Birkhasuer, Studies in Universal Logic (USU), 615-631, co-authored with M. Porwolik, 2018.
Bolesław Sobociński. The Ace of the Second Generation of the Lvov-Warsaw School. In: ibid, 599-612.
Jan Salamucha (1903-1944). Biogram. In: ibid, 279-281.
Two formal interpretations of Bolzano’s theory of substances and adherences. Axiomathes, 2019(29): 265-284.
Mereology with super-supplementation axioms. A reconstruction of the unpublished manuscript of Jan F. Drewnowski, Logic and Logical Philosophy, 2020(29): 189-211, co-authored with M. Łyczak.
A Case of Metalogical Explanation of Logical Normativity. In: Formal and Informal Methods in Philosophy. M. Będkowski, A. Brożek, A. Chybińska, S. Ivanyk, D. Traczykowski (eds.), Koninklijke Brill NV, Leiden, 2020, 195-205.
Józef M. Bocheński. Two Anniversaries. Studies in East European Thought, 74 (2022), 145-–148 https://doi.org/10.1007/s11212-022-09465-2, co-authored with A. Brożek, E. Świderski.
The Consistency of a Certain Medieval-Like Solution to the Liar Paradox. Proof Given by Bolesław Sobociński, History and Philosophy of Logic, 2022, 43:3, 275-283, https://doi.org/10.1080/01445340.2021.1909451
First-Order Logic of Change, 2022, Logic Journal of the IGPL, https://doi.org/10.1093/jigpal/jzac063
A Leibnizian Logic of Possible Laws. A Formal Framework Motivated by Hintikka That Blocks Lovejoy's Principle of Plenitude, Logic and Logical Philosophy, Vol. 32 No. 1 (2023): 119--140, co-authored with M. Łyczak, https://doi.org/10.12775/LLP.2022.017
Logic and its History in the Lvov-Warsaw School, History and Philosophy of Logic, 2023, co-authored with M. Łyczak, accepted for publication, DOI - 10.1080/01445340.2023.2295196.