Dimiter Vakarelov

70 papers B 9C 2Misc 1Journal 43Unranked 13

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