Marcin Lyczak

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 5

Top Topics

Quantifier Free

Modal Operators

Top Venues

Publications

Marcin Lyczak
First-order Logic with Being a Thesis Modal Operator. CoRR (2024)
Marcin Lyczak
Branching Time Axiomatized With the Use of Change Operators. Log. J. IGPL 31 (5) (2023)
Marcin Lyczak
The logic of modal changes LMC. J. Appl. Non Class. Logics 30 (1) (2020)
Kordula Swietorzecka, Marcin Lyczak
An Even More Leibnizian Version of Gödel's Ontological Argument. FLAP 5 (7) (2018)
Marcin Lyczak, Marek Porwolik, Kordula Swietorzecka
The Universe in Leśniewski's Mereology: Some Comments on Sobociński's Reflections. Axioms 5 (3) (2016)