Marcin Łyczak

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Classical mereology is axiomatizable using primitive fusion in two-sorted logic Notre Dame Journal of Formal Logic	2025-01-31	Paper
Branching Time Axiomatized With the Use of Change Operators Logic Journal of the IGPL	2024-02-20	Paper
Classical Mereology is Axiomatizable Using Primitive Fusion in Two Sorted Logic	2023-12-23	Paper
Atomism Axiomatised Using Mereological Composition as a Primitive Notion	2023-10-23	Paper
A Leibnizian Logic of Possible Laws Logic and Logical Philosophy	2023-07-03	Paper
An even more Leibnizian version of Gödel's ontological argument	2022-09-28	Paper
The modal logic \(\mathsf{LEC}\) for changing knowledge, expressed in the growing language Logic and Logical Philosophy	2021-12-02	Paper
Mereology with super-supplementation axioms. A reconstruction of the unpublished manuscript of Jan F. Drewnowski Logic and Logical Philosophy	2021-08-17	Paper
The logic of modal changes LMC Journal of Applied Non-Classical Logics	2020-02-24	Paper
The universe in Leśniewski's mereology: some comments on Sobociński's reflections Axioms	2019-10-02	Paper
On the definability of Leśniewski's copula `is' in some ontology-like theories Bulletin of the Section of Logic	2019-05-15	Paper

Research outcomes over time

This page was built for person: Marcin Łyczak