| Notes on N-lattices and constructive logic with strong negation D Vakarelov Studia Logica: An International Journal for Symbolic Logic 36 (1/2), 109-125, 1977 | 198 | 1977 |
| Contact algebras and region-based theory of space: a proximity approach–I G Dimov, D Vakarelov Fundamenta Informaticae 74 (2-3), 209-249, 2006 | 145 | 2006 |
| A modal logic for similarity relations in Pawlak knowledge representation systems D Vakarelov Fundamenta Informaticae 15 (1), 61-79, 1991 | 135 | 1991 |
| Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA W Conradie, V Goranko, D Vakarelov Logical methods in computer science 2, 2006 | 126 | 2006 |
| Region–based theory of discrete spaces: A proximity approach I Düntsch, D Vakarelov Annals of Mathematics and Artificial Intelligence 49 (1), 5-14, 2007 | 112 | 2007 |
| Elementary canonical formulae: extending Sahlqvist’s theorem V Goranko, D Vakarelov Annals of Pure and Applied Logic 141 (1-2), 180-217, 2006 | 112 | 2006 |
| A proximity approach to some region-based theories of space D Vakarelov, G Dimov, I Düntsch, B Bennett Journal of applied non-classical logics 12 (3-4), 527-559, 2002 | 97 | 2002 |
| Region-based theory of space: algebras of regions, representation theory, and logics D Vakarelov Mathematical problems from applied logic II: Logics for the XXIst century …, 2007 | 95 | 2007 |
| Modal logics for knowledge representation systems D Vakarelov Theoretical computer science 90 (2), 433-456, 1991 | 94 | 1991 |
| Modal logics for region-based theories of space P Balbiani, T Tinchev, D Vakarelov Fundamenta Informaticae 81 (1-3), 29-82, 2007 | 79 | 2007 |
| Information systems, similarity relations and modal logics D Vakarelov Incomplete Information: Rough Set Analysis, 492-550, 1998 | 65 | 1998 |
| Contact algebras and region-based theory of space: proximity approach–II G Dimov, D Vakarelov Fundamenta Informaticae 74 (2-3), 251-282, 2006 | 60 | 2006 |
| Consistency, completeness and negation D Vakarelov Paraconsistent Logic: Essays on the inconsistent, 328-363, 1989 | 60 | 1989 |
| Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. D Vakarelov AIMSA, 255-260, 1986 | 52 | 1986 |
| Modal logics for knowledge representation systems D Vakarelov Logic at Botik'89: Symposium on Logical Foundations of Computer Science …, 1989 | 51 | 1989 |
| Sahlqvist formulas in hybrid polyadic modal logics V Goranko, D Vakarelov Journal of Logic and Computation 11 (5), 737-754, 2001 | 48 | 2001 |
| A note on proximity spaces and connection based mereology D Vakarelov, I Düntsch, B Bennett Proceedings of the international conference on Formal Ontology in …, 2001 | 46 | 2001 |
| Topological representation of precontact algebras G Dimov, D Vakarelov International Conference on Relational Methods in Computer Science, 1-16, 2005 | 45 | 2005 |
| Iteration-free PDL with intersection: a complete axiomatization P Balbiani, D Vakarelov Fundamenta Informaticae 45 (3), 173-194, 2001 | 40 | 2001 |
| SCAN is complete for all Sahlqvist formulae V Goranko, U Hustadt, RA Schmidt, D Vakarelov International Conference on Relational Methods in Computer Science, 149-162, 2003 | 38 | 2003 |
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
