Dimiter Vakarelov

Publication Activity (10 Years)

Years Active: 1980-2020
Publications (10 Years): 5

Top Topics

Sequent Calculi

Interval Algebra

Extended Abstract

Analogical Reasoning

Top Venues

Ann. Math. Artif. Intell.

Fundam. Informaticae

Advances in Modal Logic

J. Log. Lang. Inf.

Publications

Dimiter Vakarelov
Point-free Theories of Space and Time. FLAP 7 (6) (2020)
Dimiter Vakarelov
Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract). IJCRS (2) (2017)
Dimiter Vakarelov
Mereotopologies with Predicates of Actual Existence and Actual Contact. Fundam. Informaticae 156 (3-4) (2017)
Dimiter Vakarelov
A mereotopology based on sequent algebras. J. Appl. Non Class. Logics 27 (3-4) (2017)
Tatyana Ivanova, Dimiter Vakarelov
Distributive mereotopology: extended distributive contact lattices. Ann. Math. Artif. Intell. 77 (1-2) (2016)
Dimiter Vakarelov
Dynamic Modalities. Stud Logica 100 (1-2) (2012)
Dimiter Vakarelov
Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics. Advances in Modal Logic (2012)
Nikolay Ivanov, Dimiter Vakarelov
A System of Relational Syllogistic Incorporating Full Boolean Reasoning. J. Log. Lang. Inf. 21 (4) (2012)
Nikolay Ivanov, Dimiter Vakarelov
Relational Syllogistics CoRR (2011)
Dimiter Vakarelov
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations. Fundam. Informaticae 100 (1-4) (2010)
Tinko Tinchev, Dimiter Vakarelov
Logics of Space with Connectedness Predicates: Complete Axiomatizations. Advances in Modal Logic (2010)
Dimiter Vakarelov
Algorithmic Definability and Completeness in Modal Logic. FoIKS (2010)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Appl. Log. 8 (4) (2010)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Informaticae 92 (4) (2009)
Philippe Balbiani, Petar Iliev, Dimiter Vakarelov
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. Fundam. Informaticae 83 (4) (2008)
Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
Distributive contact lattices: Topological representations. J. Log. Algebraic Methods Program. 76 (1) (2008)
Yavor Nenov, Dimiter Vakarelov
Modal logics for mereotopological relations. Advances in Modal Logic (2008)
Philippe Balbiani, Dimiter Vakarelov
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. Fundam. Informaticae 75 (1-4) (2007)
Ivo Düntsch, Dimiter Vakarelov
Region-based theory of discrete spaces: A proximity approach. Ann. Math. Artif. Intell. 49 (1-4) (2007)
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal Logics for Region-based Theories of Space. Fundam. Informaticae 81 (1-3) (2007)
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Dynamic logics of the region-based theory of discrete spaces. J. Appl. Non Class. Logics 17 (1) (2007)
Georgi D. Dimov, Dimiter Vakarelov
Contact Algebras and Region-based Theory of Space: Proximity Approach - II. Fundam. Informaticae 74 (2-3) (2006)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA CoRR (2006)
Georgi D. Dimov, Dimiter Vakarelov
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I. Fundam. Informaticae 74 (2-3) (2006)
Valentin Goranko, Dimiter Vakarelov
Elementary canonical formulae: extending Sahlqvist's theorem. Ann. Pure Appl. Log. 141 (1-2) (2006)
Dimiter Vakarelov
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation. Stud Logica 84 (1) (2006)
Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter
Topological Representation of Contact Lattices. RelMiCS (2006)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. J. Log. Comput. 16 (5) (2006)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. Log. Methods Comput. Sci. 2 (1) (2006)
Wendy MacCaull, Dimiter Vakarelov
Lattice-Based Paraconsistent Logic. RelMiCS (2005)
Dimiter Vakarelov
A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems. RSFDGrC (1) (2005)
Georgi D. Dimov, Dimiter Vakarelov
Topological Representation of Precontact Algebras. RelMiCS (2005)
Dimiter Vakarelov
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Stud Logica 80 (2-3) (2005)
Philippe Balbiani, Dimiter Vakarelov
Dynamic extensions of arrow logic. Ann. Pure Appl. Log. 127 (1-3) (2004)
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. Advances in Modal Logic (2004)
Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov
SCAN Is Complete for All Sahlqvist Formulae. RelMiCS (2003)
Philippe Balbiani, Dimiter Vakarelov
PDL with Intersection of Programs: A Complete Axiomatization. J. Appl. Non Class. Logics 13 (3-4) (2003)
Dimiter Vakarelov, Georgi D. Dimov, Ivo Düntsch, Brandon Bennett
A Proximity Approach to Some Region-Based Theories of Space. J. Appl. Non Class. Logics 12 (3-4) (2002)
Philippe Balbiani, Dimiter Vakarelov
A Modal Logic for Indiscernibility and Complementarity in Information Systems. Fundam. Informaticae 50 (3-4) (2002)
Dimiter Vakarelov
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class. Advances in Modal Logic (2002)
Philippe Balbiani, Dimiter Vakarelov
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. ECSQARU (2001)
Philippe Balbiani, Dimiter Vakarelov
Iteration-free PDL with Intersection: a Complete Axiomatization. Fundam. Informaticae 45 (3) (2001)
Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett
A note on proximity spaces and connection based mereology. FOIS (2001)
Valentin Goranko, Dimiter Vakarelov
Sahlqvist Formulas in Hybrid Polyadic Modal Logics. J. Log. Comput. 11 (5) (2001)
Valentin Goranko, Dimiter Vakarelov
Sahlqvist Formulas Unleashed in Polyadic Modal Languages. Advances in Modal Logic (2000)
Dimiter Vakarelov
Rough Polyadic modal logics. J. Appl. Non Class. Logics 1 (1) (1999)
Valentin Goranko, Dimiter Vakarelov
Hyperboolean Algebras and Hyperboolean Modal Logic. J. Appl. Non Class. Logics 9 (2-3) (1999)
Valentin Goranko, Dimiter Vakarelov
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. Advances in Modal Logic (1998)
Philippe Balbiani, Dimiter Vakarelov
Extending arrow logic. RelMiCS (1998)
Georgi D. Dimov, Dimiter Vakarelov
On Scott Consequence Systems. Fundam. Informaticae 33 (1) (1998)
Ana Deneva, Dimiter Vakarelov
Modal Logics for Local and Global Similarity Relations. Fundam. Informaticae 31 (3/4) (1997)
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal Logics for Incidence Geometries. J. Log. Comput. 7 (1) (1997)
Dimiter Vakarelov
Hyper Arrow Structures. Arrow Logics~III. Advances in Modal Logic (1996)
Dimiter Vakarelov
Many-dimensional arrow logics. J. Appl. Non Class. Logics 6 (4) (1996)
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical Structures and Modal Logic. FAPR (1996)
Dimiter Vakarelov
A duality between Pawlak's knowledge representation systems and BI-consequence systems. Stud Logica 55 (1) (1995)
Dimiter Vakarelov
A Duality Between Pawlak's Information Systems and Bi-Consequence Systems with Applications to First-Order and Modal Characterizations of some Informational Relations. WOCFAI (1995)
Dimiter Vakarelov
Inductive modal logics. Fundam. Informaticae 16 (3-4) (1992)
Dimiter Vakarelov
A Modal Theory of Arrows. Arrow Logics I. JELIA (1992)
Dimiter Vakarelov
A Modal Logic for Cyclic Repeating Inf. Comput. 101 (1) (1992)
Dimiter Vakarelov
Modal Logics for Knowledge Representation Systems. Theor. Comput. Sci. 90 (2) (1991)
Dimiter Vakarelov
A model logic for similarity relations in pawlak knowledge representation systems. Fundam. Informaticae 15 (1) (1991)
Dimiter Vakarelov
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety. Stud Logica 48 (4) (1989)
Dimiter Vakarelov
Modal Logics for Knowledge Representation Systems. Logic at Botik (1989)
Dimiter Vakarelov
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. AIMSA (1986)
Dimiter Vakarelov
An application of Rieger-Nishimura formulas to the intuitionistic modal logics. Stud Logica 44 (1) (1985)
Tinko Tinchev, Dimiter Vakarelov
Propositional dynamic logics with counters and stacks. Symposium on Computation Theory (1984)
Dimiter Vakarelov
Filtration theorem for dynamic algebras with tests and inverse operator. Logic of Programs (1980)