Boolean connexive logics: semantics and tableau approach T Jarmużek, J Malinowski Logic and Logical Philosophy 28 (3), 427-448, 2019 | 48 | 2019 |
On some logic with a relation imposed on formulae: Tableau system F T Jarmuzek, B Kaczkowski Bulletin of the Section of Logic 43 (1/2), 53-72, 2014 | 38 | 2014 |
Completeness of minimal positional calculus T Jarmużek, A Pietruszczak Logic and Logical Philosophy, 147-162, 2004 | 36 | 2004 |
Relating semantics as fine-grained semantics for intensional logics T Jarmużek Logic in High Definition: Trends in Logical Semantics, 13-30, 2021 | 28 | 2021 |
On logic of strictly-deontic modalities. A semantic and tableau approach T Jarmużek, M Klonowski Logic and Logical Philosophy 29 (3), 335-380, 2020 | 25 | 2020 |
Modal Boolean connexive logics: semantics and tableau approach T Jarmużek, J Malinowski Bulletin of the Section of Logic 48 (3), 213-243, 2019 | 25 | 2019 |
Some intensional logics defined by relating semantics and tableau systems T Jarmużek, M Klonowski Logic in High Definition: Trends in Logical Semantics, 31-48, 2021 | 21 | 2021 |
Jerzy Łoś positional calculus and the origin of temporal logic M Tkaczyk, T Jarmużek Logic and Logical Philosophy 28 (2), 259-276, 2019 | 19 | 2019 |
minimal Logical Systems with R-operator: Their metalogical Properties and Ways of Extensions T Jarmużek Perspectives on Universal Logic, 319-33, 2007 | 19 | 2007 |
On the Sea Battle Tomorrow That May Not Happen T Jarmużek, A Parol, M Oleksowicz, L Seminar Peter Lang, Berlin, 2018 | 18 | 2018 |
Normalne logiki pozycyjne T Jarmużek, M Tkaczyk Wydawnictwo KUL, 2015 | 16 | 2015 |
Jutrzejsza bitwa morska. Rozumowanie Diodora Kronosa T Jarmużek Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2013 | 14 | 2013 |
Relating logic and relating semantics. History, philosophical applications and some of technical problems T Jarmużek, F Paoli Logic and Logical Philosophy 30 (4), 563-577, 2021 | 13 | 2021 |
Tableau metatheorem for modal logics T Jarmużek Recent Trends in Philosophical Logic, 103-126, 2014 | 13 | 2014 |
Rekonstrukcje rozumowania Diodora Kronosa w ontologii czasu punktowego T Jarmużek Reconstruction of Diodorus Cronus’ argument in frame of ontology of time …, 2006 | 13 | 2006 |
On Some Language Extension of Logic MR: A Semantic and Tableau Approach T Jarmużek, A Parol Roczniki Filozoficzne 68 (4), 345-366, 2020 | 11 | 2020 |
Normalne logiki pozycyjne (Normal positional logics) J Tomasz, M Tkaczyk Lublin: Towarzystwo Naukowe KUL, 2015 | 11 | 2015 |
Expressive power of the positional operator R: a Case Study in Modal Logic and Modal Philosophy T Jarmużek, M Tkaczyk Ruch Filozoficzny 75 (2), 93-107, 2019 | 10 | 2019 |
The tense logic for Master Argument in Prior’s reconstruction T Jarmużek, A Pietruszczak Studia Logica 92, 85-108, 2009 | 10 | 2009 |
Formalizacja metod tablicowych dla logik zdań i logik nazw T Jarmużek Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2013 | 8 | 2013 |