| A logic for reasoning about relative similarity B Konikowska Studia Logica 58, 185-226, 1997 | 79 | 1997 |
| A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur B Konikowska, A Tarlecki, A Blikle Fundamenta informaticae 14 (4), 411-453, 1991 | 70 | 1991 |
| Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics A Avron, J Ben-Naim, B Konikowska Logica Universalis 1, 41-70, 2007 | 62 | 2007 |
| Multi-valued calculi for logics based on non-determinism A Avron, B Konikowska Logic Journal of IGPL 13 (4), 365-387, 2005 | 60 | 2005 |
| Decomposition proof systems for Gödel-Dummett logics A Avron, B Konikowska Studia Logica 69, 197-219, 2001 | 49 | 2001 |
| Cut-free sequent calculi for C-systems with generalized finite-valued semantics A Avron, B Konikowska, A Zamansky Journal of Logic and Computation 23 (3), 517-540, 2013 | 43 | 2013 |
| Rough sets and 3-valued logics A Avron, B Konikowska Studia Logica 90, 69-92, 2008 | 41 | 2008 |
| Rasiowa–Sikorski deduction systems in computer science applications B Konikowska Theoretical Computer Science 286 (2), 323-366, 2002 | 33 | 2002 |
| Reducing Model Checking from Multi-valued CTL* to CTL* B Konikowska, W Penczek CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002 | 32 | 2002 |
| A logic for reasoning about similarity B Konikowska Incomplete information: rough set analysis, 462-491, 1998 | 28 | 1998 |
| Modular construction of cut-free sequent calculi for paraconsistent logics A Avron, B Konikowska, A Zamansky 2012 27th Annual IEEE Symposium on Logic in Computer Science, 85-94, 2012 | 26 | 2012 |
| Proof systems for reasoning about computation errors A Avron, B Konikowska Studia Logica 91, 273-293, 2009 | 23 | 2009 |
| A formal language for reasoning about indiscernibility B Konikowska Bulletin of the Polish Academy of Science: Mathematics 35, 239-249, 1987 | 23 | 1987 |
| Model checking for multi-valued computation tree logics B Konikowska, W Penczek Beyond two: theory and applications of multiple-valued logic, 193-210, 2003 | 22 | 2003 |
| Proof systems for logics based on non-deterministic multiple-valued structures A Avron, B Konikowska Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk, 1-26, 2004 | 21 | 2004 |
| Model checking for multivalued logic of knowledge and time B Konikowska, W Penczek Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 19 | 2006 |
| Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus B Konikowska Journal of Applied Non-Classical Logics 3 (1), 39-71, 1993 | 18 | 1993 |
| Relative Similarity Logics are Decidable: Reduction to FO2 with Equality S Demri, B Konikowska Logics in Artificial Intelligence: European Workshop, JELIA’98 Dagstuhl …, 1998 | 17 | 1998 |
| Processing Information from a Set of Sources A Avron, B Konikowska | 17* | |
| On Designated Values in Multi-valued CTL^* Model Checking B Konikowka, W Penczek Fundamenta Informaticae 60 (1-4), 211-224, 2004 | 16 | 2004 |
