Seuraa
Dimiter Vakarelov
Dimiter Vakarelov
Vahvistettu sähköpostiosoite verkkotunnuksessa fmi.uni-sofia.bg
Nimike
Viittaukset
Viittaukset
Vuosi
Notes on N-lattices and constructive logic with strong negation
D Vakarelov
Studia Logica: An International Journal for Symbolic Logic 36 (1/2), 109-125, 1977
1911977
Contact algebras and region-based theory of space: a proximity approach–I
G Dimov, D Vakarelov
Fundamenta Informaticae 74 (2-3), 209-249, 2006
1432006
A modal logic for similarity relations in Pawlak knowledge representation systems
D Vakarelov
Fundamenta Informaticae 15 (1), 61-79, 1991
1331991
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
W Conradie, V Goranko, D Vakarelov
Logical methods in computer science 2, 2006
1222006
Region–based theory of discrete spaces: A proximity approach
I Düntsch, D Vakarelov
Annals of Mathematics and Artificial Intelligence 49 (1-4), 5-14, 2007
1092007
Elementary canonical formulae: extending Sahlqvist’s theorem
V Goranko, D Vakarelov
Annals of Pure and Applied Logic 141 (1-2), 180-217, 2006
1062006
A proximity approach to some region-based theories of space
D Vakarelov, G Dimov, I Düntsch, B Bennett
Journal of applied non-classical logics 12 (3-4), 527-559, 2002
962002
Region-based theory of space: algebras of regions, representation theory, and logics
D Vakarelov
Mathematical problems from applied logic II: Logics for the XXIst century …, 2007
942007
Modal logics for knowledge representation systems
D Vakarelov
Theoretical computer science 90 (2), 433-456, 1991
911991
Modal logics for region-based theories of space
P Balbiani, T Tinchev, D Vakarelov
Fundamenta Informaticae 81 (1-3), 29-82, 2007
782007
Information systems, similarity relations and modal logics
D Vakarelov
Incomplete Information: Rough Set Analysis, 492-550, 1998
661998
Contact algebras and region-based theory of space: proximity approach–II
G Dimov, D Vakarelov
Fundamenta Informaticae 74 (2-3), 251-282, 2006
582006
Consistency, completeness and negation
D Vakarelov
Paraconsistent Logic: Essays on the inconsistent, 328-363, 1989
571989
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information.
D Vakarelov
AIMSA, 255-260, 1986
521986
Modal logics for knowledge representation systems
D Vakarelov
Logic at Botik'89: Symposium on Logical Foundations of Computer Science …, 1989
511989
Sahlqvist formulas in hybrid polyadic modal logics
V Goranko, D Vakarelov
Journal of Logic and Computation 11 (5), 737-754, 2001
482001
A note on proximity spaces and connection based mereology
D Vakarelov, I Düntsch, B Bennett
Proceedings of the international conference on Formal Ontology in …, 2001
452001
Topological representation of precontact algebras
G Dimov, D Vakarelov
International Conference on Relational Methods in Computer Science, 1-16, 2005
432005
Iteration-free PDL with intersection: a complete axiomatization
P Balbiani, D Vakarelov
Fundamenta Informaticae 45 (3), 173-194, 2001
402001
Sahlqvist formulas unleashed in polyadic modal languages
V Goranko, D Vakarelov
Advances In Modal Logic: Volume 3, 221-240, 2002
392002
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20