2008 |
50 | EE | Yavor Nenov,
Dimiter Vakarelov:
Modal logics for mereotopological relations.
Advances in Modal Logic 2008: 249-272 |
49 | EE | Philippe Balbiani,
Petar Iliev,
Dimiter Vakarelov:
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n.
Fundam. Inform. 83(4): 451-464 (2008) |
48 | EE | Ivo Düntsch,
Wendy MacCaull,
Dimiter Vakarelov,
Michael Winter:
Distributive contact lattices: Topological representations.
J. Log. Algebr. Program. 76(1): 18-34 (2008) |
2007 |
47 | EE | Philippe Balbiani,
Valentin Goranko,
Ruaan Kellerman,
Dimiter Vakarelov:
Logical Theories for Fragments of Elementary Geometry.
Handbook of Spatial Logics 2007: 343-428 |
46 | EE | Ivo Düntsch,
Dimiter Vakarelov:
Region-based theory of discrete spaces: A proximity approach.
Ann. Math. Artif. Intell. 49(1-4): 5-14 (2007) |
45 | EE | Philippe Balbiani,
Dimiter Vakarelov:
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems.
Fundam. Inform. 75(1-4): 1-25 (2007) |
44 | EE | Philippe Balbiani,
Tinko Tinchev,
Dimiter Vakarelov:
Modal Logics for Region-based Theories of Space.
Fundam. Inform. 81(1-3): 29-82 (2007) |
2006 |
43 | EE | Ivo Düntsch,
Wendy MacCaull,
Dimiter Vakarelov,
Michael Winter:
Topological Representation of Contact Lattices.
RelMiCS 2006: 135-147 |
42 | EE | Valentin Goranko,
Dimiter Vakarelov:
Elementary canonical formulae: extending Sahlqvist's theorem.
Ann. Pure Appl. Logic 141(1-2): 180-217 (2006) |
41 | EE | Willem Conradie,
Valentin Goranko,
Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
CoRR abs/cs/0602024: (2006) |
40 | EE | Georgi Dimov,
Dimiter Vakarelov:
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I.
Fundam. Inform. 74(2-3): 209-249 (2006) |
39 | EE | Georgi Dimov,
Dimiter Vakarelov:
Contact Algebras and Region-based Theory of Space: Proximity Approach - II.
Fundam. Inform. 74(2-3): 251-282 (2006) |
38 | EE | 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): 579-612 (2006) |
37 | EE | Willem Conradie,
Valentin Goranko,
Dimiter Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.
Logical Methods in Computer Science 2(1): (2006) |
36 | EE | Dimiter Vakarelov:
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.
Studia Logica 84(1): 105-127 (2006) |
2005 |
35 | EE | Dimiter Vakarelov:
A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems.
RSFDGrC (1) 2005: 12-22 |
34 | EE | Georgi Dimov,
Dimiter Vakarelov:
Topological Representation of Precontact Algebras.
RelMiCS 2005: 1-16 |
33 | EE | Wendy MacCaull,
Dimiter Vakarelov:
Lattice-Based Paraconsistent Logic.
RelMiCS 2005: 173-187 |
32 | EE | Dimiter Vakarelov:
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.
Studia Logica 80(2-3): 393-430 (2005) |
2004 |
31 | EE | Willem Conradie,
Valentin Goranko,
Dimiter Vakarelov:
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.
Advances in Modal Logic 2004: 17-51 |
30 | EE | Philippe Balbiani,
Dimiter Vakarelov:
Dynamic extensions of arrow logic.
Ann. Pure Appl. Logic 127(1-3): 1-15 (2004) |
2003 |
29 | EE | Valentin Goranko,
Ullrich Hustadt,
Renate A. Schmidt,
Dimiter Vakarelov:
SCAN Is Complete for All Sahlqvist Formulae.
RelMiCS 2003: 149-162 |
28 | | Philippe Balbiani,
Dimiter Vakarelov:
PDL with Intersection of Programs: A Complete Axiomatization.
Journal of Applied Non-Classical Logics 13(3-4): 231-276 (2003) |
2002 |
27 | | 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: 499-518 |
26 | | Philippe Balbiani,
Dimiter Vakarelov:
A Modal Logic for Indiscernibility and Complementarity in Information Systems.
Fundam. Inform. 50(3-4): 243-263 (2002) |
25 | | Dimiter Vakarelov,
Georgi Dimov,
Ivo Düntsch,
Brandon Bennett:
A Proximity Approach to Some Region-Based Theories of Space.
Journal of Applied Non-Classical Logics 12(3-4): 527- (2002) |
2001 |
24 | EE | Philippe Balbiani,
Dimiter Vakarelov:
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems.
ECSQARU 2001: 772-781 |
23 | EE | Dimiter Vakarelov,
Ivo Düntsch,
Brandon Bennett:
A note on proximity spaces and connection based mereology.
FOIS 2001: 139-150 |
22 | | Philippe Balbiani,
Dimiter Vakarelov:
Iteration-free PDL with Intersection: a Complete Axiomatization.
Fundam. Inform. 45(3): 173-194 (2001) |
21 | EE | Valentin Goranko,
Dimiter Vakarelov:
Sahlqvist Formulas in Hybrid Polyadic Modal Logics.
J. Log. Comput. 11(5): 737-754 (2001) |
2000 |
20 | | Valentin Goranko,
Dimiter Vakarelov:
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.
Advances in Modal Logic 2000: 221-240 |
1999 |
19 | | Dimiter Vakarelov:
Rough Polyadic modal logics.
Journal of Applied Non-Classical Logics 1(1): (1999) |
18 | | Valentin Goranko,
Dimiter Vakarelov:
Hyperboolean Algebras and Hyperboolean Modal Logic.
Journal of Applied Non-Classical Logics 9(2-3): (1999) |
1998 |
17 | | Valentin Goranko,
Dimiter Vakarelov:
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.
Advances in Modal Logic 1998: 247-274 |
16 | | Philippe Balbiani,
Dimiter Vakarelov:
Extending arrow logic.
RelMiCS 1998: 13-17 |
15 | | Georgi Dimov,
Dimiter Vakarelov:
On Scott Consequence Systems.
Fundam. Inform. 33(1): 43-70 (1998) |
1997 |
14 | | Ana Deneva,
Dimiter Vakarelov:
Modal Logics for Local and Global Similarity Relations.
Fundam. Inform. 31(3/4): 295-304 (1997) |
13 | | Philippe Balbiani,
Luis Fariñas del Cerro,
Tinko Tinchev,
Dimiter Vakarelov:
Modal Logics for Incidence Geometries.
J. Log. Comput. 7(1): 59-78 (1997) |
1996 |
12 | | Philippe Balbiani,
Luis Fariñas del Cerro,
Tinko Tinchev,
Dimiter Vakarelov:
Geometrical Structures and Modal Logic.
FAPR 1996: 43-57 |
11 | | Dimiter Vakarelov:
Many-dimensional arrow logics.
Journal of Applied Non-Classical Logics 6(4): (1996) |
1995 |
10 | | 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: 417-428 |
9 | | Dimiter Vakarelov:
A duality between Pawlak's knowledge representation systems and BI-consequence systems.
Studia Logica 55(1): 205-228 (1995) |
1992 |
8 | | Dimiter Vakarelov:
A Modal Theory of Arrows. Arrow Logics I.
JELIA 1992: 1-24 |
7 | | Dimiter Vakarelov:
Inductive modal logics.
Fundam. Inform. 16(3-4): 383-405 (1992) |
6 | | Dimiter Vakarelov:
A Modal Logic for Cyclic Repeating
Inf. Comput. 101(1): 103-122 (1992) |
1991 |
5 | | Dimiter Vakarelov:
A model logic for similarity relations in pawlak knowledge representation systems.
Fundam. Inform. 15(1): 61-79 (1991) |
4 | | Dimiter Vakarelov:
Modal Logics for Knowledge Representation Systems.
Theor. Comput. Sci. 90(2): 433-456 (1991) |
1989 |
3 | | Dimiter Vakarelov:
Modal Logics for Knowledge Representation Systems.
Logic at Botik 1989: 257-277 |
1986 |
2 | | Dimiter Vakarelov:
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information.
AIMSA 1986: 255-260 |
1980 |
1 | | Dimiter Vakarelov:
Filtration theorem for dynamic algebras with tests and inverse operator.
Logic of Programs 1980: 314-324 |