Dimiter Vakarelov
Affiliations:- St. Clement of Ohrid University of Sofia, Bulgaria
According to our database1,
Dimiter Vakarelov
authored at least 68 papers
between 1980 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2020
2017
Fundam. Informaticae, 2017
Proceedings of the Rough Sets - International Joint Conference, 2017
2016
Ann. Math. Artif. Intell., 2016
2012
J. Log. Lang. Inf., 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
2010
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA.
J. Appl. Log., 2010
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations.
Fundam. Informaticae, 2010
Proceedings of the Foundations of Information and Knowledge Systems, 2010
Proceedings of the Advances in Modal Logic 8, 2010
2009
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions.
Fundam. Informaticae, 2009
2008
J. Log. Algebraic Methods Program., 2008
Fundam. Informaticae, 2008
Proceedings of the Advances in Modal Logic 7, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
J. Appl. Non Class. Logics, 2007
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems.
Fundam. Informaticae, 2007
Ann. Math. Artif. Intell., 2007
2006
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.
Stud Logica, 2006
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA.
J. Log. Comput., 2006
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.
Log. Methods Comput. Sci., 2006
Fundam. Informaticae, 2006
Fundam. Informaticae, 2006
Ann. Pure Appl. Log., 2006
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006
2005
Stud Logica, 2005
A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems.
Proceedings of the Rough Sets, 2005
Proceedings of the Relational Methods in Computer Science, 2005
Proceedings of the Relational Methods in Computer Science, 2005
2004
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.
Proceedings of the Advances in Modal Logic 5, 2004
2003
J. Appl. Non Class. Logics, 2003
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003
2002
J. Appl. Non Class. Logics, 2002
Fundam. Informaticae, 2002
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002
2001
Fundam. Informaticae, 2001
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001
2000
Proceedings of the Advances in Modal Logic 3, 2000
1999
1998
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.
Proceedings of the Advances in Modal Logic 2, 1998
Extending arrow logic.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
1996
Hyper Arrow Structures. Arrow Logics~III.
Proceedings of the Advances in Modal Logic 1, 1996
1995
A duality between Pawlak's knowledge representation systems and BI-consequence systems.
Stud Logica, 1995
A Duality Between Pawlak's Information Systems and Bi-Consequence Systems with Applications to First-Order and Modal Characterizations of some Informational Relations.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995
1992
Inductive modal logics.
Fundam. Informaticae, 1992
Proceedings of the Logics in AI, European Workshop, 1992
Proceedings of the Intelligent Decision Support, 1992
1991
Modal Logics for Knowledge Representation Systems.
Theor. Comput. Sci., 1991
A model logic for similarity relations in pawlak knowledge representation systems.
Fundam. Informaticae, 1991
1989
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety.
Stud Logica, 1989
1986
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986
1985
Stud Logica, 1985
1984
Proceedings of the Computation Theory, 1984
1980
Proceedings of the Logics of Programs and Their Applications, 1980