Some deductive systems for content relationship logics, Journal of Logic and Computation 36(5), 2026.
Brings it about that operators decomposed with relating semantics (współautorzy: T. Jarmużek, P. Kulicki), Studia Logica 112, 2024.
Boolean connexive logic and content relationship (współautor L. Estrada-González), Studia Logica 112, 2024.
Free choice permission, legitimisation and relating semantics (współautorzy: 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 (współautor T. Jarmużek), Logic and Logical Philosophy, 2022.
Tableaux for logics of content relationship and set-assignment semantics (współautor 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 (współautorzy: K. Krawczyk, B. Pięta), Bulletin of the Section of Logic 50(2), 2021.
Epistemic contextualism and positional logic (współautor R. Palczewski), Studia z Historii Filozofii 11(3), 2020.
On logic of strictly-deontic modalities. A semantic and tableau approach (współautor T. Jarmużek), Logic and Logical Philosophy 29(3), 2020.
Simplified Kripke-style semantics for some normal modal logics (współautorzy: 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.
ENG | UMK | Instytut Filozofii | Katedra Logiki | Logica Copernicana