Some deductive systems for content relationship logics, Journal of Logic and Computation 36(5), 2026.
Brings it about that operators decomposed with relating semantics (with T. Jarmużek, P. Kulicki), Studia Logica 112, 2024.
Boolean connexive logic and content relationship (with L. Estrada-González), Studia Logica 112, 2024.
Free choice permission, legitimisation and relating semantics (with D. Glavaničová, T. Jarmużek, P. Kulicki), Logic Journal of the IGPL 31(3), 2023.
Axiomatization of BLRI determined by limited positive relational properties (with T. Jarmużek), Logic and Logical Philosophy, 2022.
Tableaux for logics of content relationship and set-assignment semantics (with T. Jarmużek), Logica Universalis 16, 2021.
History of relating logic. The origin and research directions, Logic and Logical Philosophy 30(4), 2021.
Axiomatization of some basic and modal Boolean connexive logics, Logica Universalis 15, 2021.
Tableau systems for epistemic positional logics (with K. Krawczyk, B. Pięta), Bulletin of the Section of Logic 50(2), 2021.
Epistemic contextualism and positional logic (with R. Palczewski), Studia z Historii Filozofii 11(3), 2020.
On logic of strictly-deontic modalities. A semantic and tableau approach (with T. Jarmużek), Logic and Logical Philosophy 29(3), 2020.
Simplified Kripke-style semantics for some normal modal logics (with A. Pietruszczak, Y. Petrukhin), Studia Logica 108(3), 2020.
A Post-style proof of completeness theorem for Symmetric Relatedness Logic S, Bulletin of the Section of Logic 47(3), 2018.
PL | NCU | Institute of Philosophy | Department of Logic | Logica Copernicana