| Boolean connexive logics: semantics and tableau approach T Jarmużek, J Malinowski Logic and Logical Philosophy 28 (3), 427-448, 2019 | 43 | 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 | 37 | 2014 |
| Completeness of minimal positional calculus T Jarmużek, A Pietruszczak Logic and Logical Philosophy, 147-162, 2004 | 35 | 2004 |
| Relating semantics as fine-grained semantics for intensional logics T Jarmużek Logic in High Definition: Trends in Logical Semantics, 13-30, 2021 | 26 | 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 | 24 | 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 | 23 | 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 | 19 | 2021 |
| minimal Logical Systems with R-operator: Their metalogical Properties and Ways of Extensions T Jarmużek Perspectives on Universal Logic, 319-33, 2007 | 18 | 2007 |
| Jerzy Łoś positional calculus and the origin of temporal logic M Tkaczyk, T Jarmużek Logic and Logical Philosophy 28 (2), 259-276, 2019 | 17 | 2019 |
| Normalne logiki pozycyjne T Jarmużek, M Tkaczyk Wydawnictwo KUL, 2015 | 16 | 2015 |
| Tableau metatheorem for modal logics T Jarmużek Recent Trends in Philosophical Logic, 103-126, 2014 | 14 | 2014 |
| Jutrzejsza bitwa morska. Rozumowanie Diodora Kronosa T Jarmużek Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2013 | 14 | 2013 |
| 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 |
| 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 | 10 | 2021 |
| On Some Language Extension of Logic MR: A Semantic and Tableau Approach T Jarmużek, A Parol Roczniki Filozoficzne 68 (4), 345-366, 2020 | 10 | 2020 |
| Normalne logiki pozycyjne (Normal positional logics) J Tomasz, M Tkaczyk Lublin: Towarzystwo Naukowe KUL, 2015 | 10 | 2015 |
| Formalizacja metod tablicowych dla logik zdań i logik nazw T Jarmużek Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2013 | 10 | 2013 |
| The tense logic for Master Argument in Prior’s reconstruction T Jarmużek, A Pietruszczak Studia Logica 92, 85-108, 2009 | 10 | 2009 |
| 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 | 9 | 2019 |
| Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets T Jarmużek | 8 | 2007 |
