Dimiter Vakarelov

Dimitar Ivanov Vakarelov

	2012
j35		Nikolay Ivanov, Dimiter Vakarelov: A System of Relational Syllogistic Incorporating Full Boolean Reasoning. Journal of Logic, Language and Information 21(4): 433-459 (2012)
j34		Dimiter Vakarelov: Dynamic Modalities. Studia Logica 100(1-2): 385-397 (2012)
c23		Dimiter Vakarelov: Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics. Advances in Modal Logic 2012: 538-558
	2011
i2		Nikolay Ivanov, Dimiter Vakarelov: Relational Syllogistics. CoRR abs/1102.4496 (2011)
	2010
j33		Dimiter Vakarelov: Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations. Fundam. Inform. 100(1-4): 159-180 (2010)
j32		Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. J. Applied Logic 8(4): 319-333 (2010)
c22		Tinko Tinchev, Dimiter Vakarelov: Logics of Space with Connectedness Predicates: Complete Axiomatizations. Advances in Modal Logic 2010: 434-453
c21		Dimiter Vakarelov: Algorithmic Definability and Completeness in Modal Logic. FoIKS 2010: 6-8
	2009
j31		Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. Fundam. Inform. 92(4): 307-343 (2009)
	2008
j30		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)
j29		Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Distributive contact lattices: Topological representations. J. Log. Algebr. Program. 76(1): 18-34 (2008)
c20		Yavor Nenov, Dimiter Vakarelov: Modal logics for mereotopological relations. Advances in Modal Logic 2008: 249-272
	2007
j28		Ivo Düntsch, Dimiter Vakarelov: Region-based theory of discrete spaces: A proximity approach. Ann. Math. Artif. Intell. 49(1-4): 5-14 (2007)
j27		Philippe Balbiani, Dimiter Vakarelov: Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. Fundam. Inform. 75(1-4): 1-25 (2007)
j26		Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov: Modal Logics for Region-based Theories of Space. Fundam. Inform. 81(1-3): 29-82 (2007)
j25		Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov: Dynamic logics of the region-based theory of discrete spaces. Journal of Applied Non-Classical Logics 17(1): 39-61 (2007)
p1		Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov: Logical Theories for Fragments of Elementary Geometry. Handbook of Spatial Logics 2007: 343-428
	2006
j24		Valentin Goranko, Dimiter Vakarelov: Elementary canonical formulae: extending Sahlqvist's theorem. Ann. Pure Appl. Logic 141(1-2): 180-217 (2006)
j23		Georgi D. Dimov, Dimiter Vakarelov: Contact Algebras and Region-based Theory of Space: A Proximity Approach - I. Fundam. Inform. 74(2-3): 209-249 (2006)
j22		Georgi D. Dimov, Dimiter Vakarelov: Contact Algebras and Region-based Theory of Space: Proximity Approach - II. Fundam. Inform. 74(2-3): 251-282 (2006)
j21		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)
j20		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)
j19		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)
c19		Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Topological Representation of Contact Lattices. RelMiCS 2006: 135-147
i1		Willem Conradie, Valentin Goranko, Dimiter Vakarelov: Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. CoRR abs/cs/0602024 (2006)
	2005
j18		Dimiter Vakarelov: Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80(2-3): 393-430 (2005)
c18		Georgi D. Dimov, Dimiter Vakarelov: Topological Representation of Precontact Algebras. RelMiCS 2005: 1-16
c17		Wendy MacCaull, Dimiter Vakarelov: Lattice-Based Paraconsistent Logic. RelMiCS 2005: 173-187
c16		Dimiter Vakarelov: A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems. RSFDGrC (1) 2005: 12-22
	2004
j17		Philippe Balbiani, Dimiter Vakarelov: Dynamic extensions of arrow logic. Ann. Pure Appl. Logic 127(1-3): 1-15 (2004)
c15		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
	2003
j16		Philippe Balbiani, Dimiter Vakarelov: PDL with Intersection of Programs: A Complete Axiomatization. Journal of Applied Non-Classical Logics 13(3-4): 231-276 (2003)
c14		Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov: SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162
	2002
j15		Philippe Balbiani, Dimiter Vakarelov: A Modal Logic for Indiscernibility and Complementarity in Information Systems. Fundam. Inform. 50(3-4): 243-263 (2002)
j14		Dimiter Vakarelov, Georgi D. 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-559 (2002)
c13		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
	2001
j13		Philippe Balbiani, Dimiter Vakarelov: Iteration-free PDL with Intersection: a Complete Axiomatization. Fundam. Inform. 45(3): 173-194 (2001)
j12		Valentin Goranko, Dimiter Vakarelov: Sahlqvist Formulas in Hybrid Polyadic Modal Logics. J. Log. Comput. 11(5): 737-754 (2001)
c12		Philippe Balbiani, Dimiter Vakarelov: First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. ECSQARU 2001: 772-781
c11		Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett: A note on proximity spaces and connection based mereology. FOIS 2001: 139-150
	2000
c10		Valentin Goranko, Dimiter Vakarelov: Sahlqvist Formulas Unleashed in Polyadic Modal Languages. Advances in Modal Logic 2000: 221-240
	1999
j11		Dimiter Vakarelov: Rough Polyadic modal logics. Journal of Applied Non-Classical Logics 1(1): 9-35 (1999)
j10		Valentin Goranko, Dimiter Vakarelov: Hyperboolean Algebras and Hyperboolean Modal Logic. Journal of Applied Non-Classical Logics 9(2-3): 345-368 (1999)
	1998
j9		Georgi D. Dimov, Dimiter Vakarelov: On Scott Consequence Systems. Fundam. Inform. 33(1): 43-70 (1998)
c9		Philippe Balbiani, Dimiter Vakarelov: Extending arrow logic. RelMiCS 1998: 13-17
c8		Valentin Goranko, Dimiter Vakarelov: Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. Advances in Modal Logic 1998: 247-274
	1997
j8		Ana Deneva, Dimiter Vakarelov: Modal Logics for Local and Global Similarity Relations. Fundam. Inform. 31(3/4): 295-304 (1997)
j7		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
j6		Dimiter Vakarelov: Many-dimensional arrow logics. Journal of Applied Non-Classical Logics 6(4): 303-345 (1996)
c7		Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Geometrical Structures and Modal Logic. FAPR 1996: 43-57
	1995
j5		Dimiter Vakarelov: A duality between Pawlak's knowledge representation systems and BI-consequence systems. Studia Logica 55(1): 205-228 (1995)
c6		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
	1992
j4		Dimiter Vakarelov: Inductive modal logics. Fundam. Inform. 16(3-4): 383-405 (1992)
j3		Dimiter Vakarelov: A Modal Logic for Cyclic Repeating. Inf. Comput. 101(1): 103-122 (1992)
c5		Dimiter Vakarelov: A Modal Theory of Arrows. Arrow Logics I. JELIA 1992: 1-24
	1991
j2		Dimiter Vakarelov: A model logic for similarity relations in pawlak knowledge representation systems. Fundam. Inform. 15(1): 61-79 (1991)
j1		Dimiter Vakarelov: Modal Logics for Knowledge Representation Systems. Theor. Comput. Sci. 90(2): 433-456 (1991)
	1989
c4		Dimiter Vakarelov: Modal Logics for Knowledge Representation Systems. Logic at Botik 1989: 257-277
	1986
c3		Dimiter Vakarelov: Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. AIMSA 1986: 255-260
	1984
c2		Tinko Tinchev, Dimiter Vakarelov: Propositional dynamic logics with counters and stacks. Symposium on Computation Theory 1984: 364-374
	1980
c1		Dimiter Vakarelov: Filtration theorem for dynamic algebras with tests and inverse operator. Logic of Programs 1980: 314-324

Coauthor Index

Last update Wed May 22 06:54:07 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page