Filtration theorem for dynamic algebras with tests and inverse operator. - Dimiter Vakarelov (Logic of Programs, 1980)

Propositional dynamic logics with counters and stacks. - Tinko Tinchev; Dimiter Vakarelov (Symposium on Computation Theory, 1984)

An application of Rieger-Nishimura formulas to the intuitionistic modal logics. - Dimiter Vakarelov (Stud Logica, 1985)

Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. - Dimiter Vakarelov (AIMSA, 1986)

Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety. - Dimiter Vakarelov (Stud Logica, 1989)

A model logic for similarity relations in pawlak knowledge representation systems. - Dimiter Vakarelov (Fundam. Informaticae, 1991)

Modal Logics for Knowledge Representation Systems. - Dimiter Vakarelov (Theor. Comput. Sci., 1991)

Consequence Relations and Information Systems. - Dimiter Vakarelov (Intelligent Decision Support, 1992)

A Modal Theory of Arrows. Arrow Logics I. - Dimiter Vakarelov (JELIA, 1992)

Inductive modal logics. - Dimiter Vakarelov (Fundam. Informaticae, 1992)

A Modal Logic for Cyclic Repeating - Dimiter Vakarelov (Inf. Comput., 1992)

A Duality Between Pawlak's Information Systems and Bi-Consequence Systems with Applications to First-Order and Modal Characterizations of some Informational Relations. - Dimiter Vakarelov (WOCFAI, 1995)

A duality between Pawlak's knowledge representation systems and BI-consequence systems. - Dimiter Vakarelov (Stud Logica, 1995)

Hyper Arrow Structures. Arrow Logics III. - Dimiter Vakarelov (Advances in Modal Logic, 1996)

Geometrical Structures and Modal Logic. - Philippe Balbiani; Luis Fariñas del Cerro; Tinko Tinchev; Dimiter Vakarelov (FAPR, 1996)

Many-dimensional arrow logics. - Dimiter Vakarelov (J. Appl. Non Class. Logics, 1996)

Modal Logics for Local and Global Similarity Relations. - Ana Deneva; Dimiter Vakarelov (Fundam. Informaticae, 1997)

Modal Logics for Incidence Geometries. - Philippe Balbiani; Luis Fariñas del Cerro; Tinko Tinchev; Dimiter Vakarelov (J. Log. Comput., 1997)

Extending arrow logic. - Philippe Balbiani; Dimiter Vakarelov (RelMiCS, 1998)

Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. - Valentin Goranko; Dimiter Vakarelov (Advances in Modal Logic, 1998)

On Scott Consequence Systems. - Georgi D. Dimov; Dimiter Vakarelov (Fundam. Informaticae, 1998)

Hyperboolean Algebras and Hyperboolean Modal Logic. - Valentin Goranko; Dimiter Vakarelov (J. Appl. Non Class. Logics, 1999)

Rough Polyadic modal logics. - Dimiter Vakarelov (J. Appl. Non Class. Logics, 1999)

Sahlqvist Formulas Unleashed in Polyadic Modal Languages. - Valentin Goranko; Dimiter Vakarelov (Advances in Modal Logic, 2000)

First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. - Philippe Balbiani; Dimiter Vakarelov (ECSQARU, 2001)

A note on proximity spaces and connection based mereology. - Dimiter Vakarelov; Ivo Düntsch; Brandon Bennett (FOIS, 2001)

Iteration-free PDL with Intersection: a Complete Axiomatization. - Philippe Balbiani; Dimiter Vakarelov (Fundam. Informaticae, 2001)

Sahlqvist Formulas in Hybrid Polyadic Modal Logics. - Valentin Goranko; Dimiter Vakarelov (J. Log. Comput., 2001)

Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class. - Dimiter Vakarelov (Advances in Modal Logic, 2002)

A Modal Logic for Indiscernibility and Complementarity in Information Systems. - Philippe Balbiani; Dimiter Vakarelov (Fundam. Informaticae, 2002)

A Proximity Approach to Some Region-Based Theories of Space. - Dimiter Vakarelov; Georgi D. Dimov; Ivo Düntsch; Brandon Bennett (J. Appl. Non Class. Logics, 2002)

SCAN Is Complete for All Sahlqvist Formulae. - Valentin Goranko; Ullrich Hustadt; Renate A. Schmidt; Dimiter Vakarelov (RelMiCS, 2003)

PDL with Intersection of Programs: A Complete Axiomatization. - Philippe Balbiani; Dimiter Vakarelov (J. Appl. Non Class. Logics, 2003)

Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Advances in Modal Logic, 2004)

Dynamic extensions of arrow logic. - Philippe Balbiani; Dimiter Vakarelov (Ann. Pure Appl. Log., 2004)

Topological Representation of Precontact Algebras. - Georgi D. Dimov; Dimiter Vakarelov (RelMiCS, 2005)

Lattice-Based Paraconsistent Logic. - Wendy MacCaull; Dimiter Vakarelov (RelMiCS, 2005)

A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems. - Dimiter Vakarelov (RSFDGrC (1), 2005)

Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. - Dimiter Vakarelov (Stud Logica, 2005)

Topological Representation of Contact Lattices. - Ivo Düntsch; Wendy MacCaull; Dimiter Vakarelov; Michael Winter 001 (RelMiCS, 2006)

Elementary canonical formulae: extending Sahlqvist's theorem. - Valentin Goranko; Dimiter Vakarelov (Ann. Pure Appl. Log., 2006)

Contact Algebras and Region-based Theory of Space: A Proximity Approach - I. - Georgi D. Dimov; Dimiter Vakarelov (Fundam. Informaticae, 2006)

Contact Algebras and Region-based Theory of Space: Proximity Approach - II. - Georgi D. Dimov; Dimiter Vakarelov (Fundam. Informaticae, 2006)

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Log. Methods Comput. Sci., 2006)

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (J. Log. Comput., 2006)

Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation. - Dimiter Vakarelov (Stud Logica, 2006)

Region-based theory of discrete spaces: A proximity approach. - Ivo Düntsch; Dimiter Vakarelov (Ann. Math. Artif. Intell., 2007)

Modal Logics for Region-based Theories of Space. - Philippe Balbiani; Tinko Tinchev; Dimiter Vakarelov (Fundam. Informaticae, 2007)

Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. - Philippe Balbiani; Dimiter Vakarelov (Fundam. Informaticae, 2007)

Dynamic logics of the region-based theory of discrete spaces. - Philippe Balbiani; Tinko Tinchev; Dimiter Vakarelov (J. Appl. Non Class. Logics, 2007)

Logical Theories for Fragments of Elementary Geometry. - Philippe Balbiani; Valentin Goranko; Ruaan Kellerman; Dimiter Vakarelov (Handbook of Spatial Logics, 2007)

Modal logics for mereotopological relations. - Yavor Nenov; Dimiter Vakarelov (Advances in Modal Logic, 2008)

A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. - Philippe Balbiani; Petar Iliev; Dimiter Vakarelov (Fundam. Informaticae, 2008)

Distributive contact lattices: Topological representations. - Ivo Düntsch; Wendy MacCaull; Dimiter Vakarelov; Michael Winter 001 (J. Log. Algebraic Methods Program., 2008)

Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (Fundam. Informaticae, 2009)

Logics of Space with Connectedness Predicates: Complete Axiomatizations. - Tinko Tinchev; Dimiter Vakarelov (Advances in Modal Logic, 2010)

Algorithmic Definability and Completeness in Modal Logic. - Dimiter Vakarelov (FoIKS, 2010)

Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations. - Dimiter Vakarelov (Fundam. Informaticae, 2010)

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. - Willem Conradie; Valentin Goranko; Dimiter Vakarelov (J. Appl. Log., 2010)

Relational Syllogistics - Nikolay Ivanov; Dimiter Vakarelov (CoRR, 2011)

Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics. - Dimiter Vakarelov (Advances in Modal Logic, 2012)

A System of Relational Syllogistic Incorporating Full Boolean Reasoning. - Nikolay Ivanov; Dimiter Vakarelov (J. Log. Lang. Inf., 2012)

Dynamic Modalities. - Dimiter Vakarelov (Stud Logica, 2012)

Distributive mereotopology: extended distributive contact lattices. - Tatyana Ivanova; Dimiter Vakarelov (Ann. Math. Artif. Intell., 2016)

Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract). - Dimiter Vakarelov (IJCRS (2), 2017)

Mereotopologies with Predicates of Actual Existence and Actual Contact. - Dimiter Vakarelov (Fundam. Informaticae, 2017)

A mereotopology based on sequent algebras. - Dimiter Vakarelov (J. Appl. Non Class. Logics, 2017)

Point-free Theories of Space and Time. - Dimiter Vakarelov (FLAP, 2020)