D
Dimiter Vakarelov
Researcher at Sofia University
Publications - 81
Citations - 1737
Dimiter Vakarelov is an academic researcher from Sofia University. The author has contributed to research in topics: Modal logic & Normal modal logic. The author has an hindex of 22, co-authored 81 publications receiving 1639 citations. Previous affiliations of Dimiter Vakarelov include Bulgarian Academy of Sciences.
Papers
More filters
Journal Article
Contact Algebras and Region-based Theory of Space: Proximity Approach - II
Georgi Dimov,Dimiter Vakarelov +1 more
TL;DR: This paper can be regarded as a full realization of the proximity approach to the region-based theory of space and a lattice-theoretic generalization of methods and constructions from the theory of proximity spaces.
Journal ArticleDOI
A Modal Logic for Similarity Relations in Pawlak Knowledge Representation Systems
Journal ArticleDOI
Elementary canonical formulae: extending Sahlqvist’s theorem
TL;DR: It is proved that all inductive formulae are elementary canonical and thus Sahlqvist’s theorem over them and what is believed to be a better syntactic approach to elementary canonical formULae altogether is developed.
Journal ArticleDOI
Region---based theory of discrete spaces: A proximity approach
Ivo Düntsch,Dimiter Vakarelov +1 more
TL;DR: In this paper, the authors introduce Boolean proximity algebras as a generalization of Efremovi? proximities which are suitable in reasoning about discrete regions and show that each such algebra is isomorphic to a substructure of a complete and atomic Boolean proximity algebra.