The Universe in Leśniewski's Mereology: Some Comments on Sobociński's Reflections. - Marcin Lyczak; Marek Porwolik; Kordula Swietorzecka (Axioms, 2016)

An Even More Leibnizian Version of Gödel's Ontological Argument. - Kordula Swietorzecka; Marcin Lyczak (FLAP, 2018)

The logic of modal changes LMC. - Marcin Lyczak (J. Appl. Non Class. Logics, 2020)

Branching Time Axiomatized With the Use of Change Operators. - Marcin Lyczak (Log. J. IGPL, 2023)

First-order Logic with Being a Thesis Modal Operator. - Marcin Lyczak (CoRR, 2024)