Skip to content
cs-conference-ranking.org

Dimiter Vakarelov

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

5

Active years

1986–2012

Best venue rank

B

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2012AiMLDynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics.Dimiter Vakarelov
2010AiMLLogics of Space with Connectedness Predicates: Complete Axiomatizations.Tinko Tinchev, Dimiter Vakarelov
2008AiMLModal logics for mereotopological relations.Yavor Nenov, Dimiter Vakarelov
2004AiMLElementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.Willem Conradie, Valentin Goranko, Dimiter Vakarelov
2002AiMLModal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.Dimiter Vakarelov
2001ECSQARUFirst-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems.Philippe Balbiani, Dimiter Vakarelov
2001FOISA note on proximity spaces and connection based mereology.Dimiter Vakarelov, Ivo Dntsch, Brandon Bennett
2000AiMLSahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko, Dimiter Vakarelov
1998AiMLModal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko, Dimiter Vakarelov
1996AiMLHyper Arrow Structures. Arrow Logics~III.Dimiter Vakarelov
1992JELIAA Modal Theory of Arrows. Arrow Logics I.Dimiter Vakarelov
1986AIMSAAbstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information.Dimiter Vakarelov