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:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Point-free Theories of Space and Time.
FLAP, 2020

2017
A mereotopology based on sequent algebras.
J. Appl. Non Class. Logics, 2017

Mereotopologies with Predicates of Actual Existence and Actual Contact.
Fundam. Informaticae, 2017

Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract).
Proceedings of the Rough Sets - International Joint Conference, 2017

2016
Distributive mereotopology: extended distributive contact lattices.
Ann. Math. Artif. Intell., 2016

2012
Dynamic Modalities.
Stud Logica, 2012

A System of Relational Syllogistic Incorporating Full Boolean Reasoning.
J. Log. Lang. Inf., 2012

Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics.
Proceedings of the Advances in Modal Logic 9, 2012

2011
Relational Syllogistics
CoRR, 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

Algorithmic Definability and Completeness in Modal Logic.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

Logics of Space with Connectedness Predicates: Complete Axiomatizations.
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
Distributive contact lattices: Topological representations.
J. Log. Algebraic Methods Program., 2008

A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n.
Fundam. Informaticae, 2008

Modal logics for mereotopological relations.
Proceedings of the Advances in Modal Logic 7, 2008

2007
Logical Theories for Fragments of Elementary Geometry.
Proceedings of the Handbook of Spatial Logics, 2007

Dynamic logics of the region-based theory of discrete spaces.
J. Appl. Non Class. Logics, 2007

Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems.
Fundam. Informaticae, 2007

Modal Logics for Region-based Theories of Space.
Fundam. Informaticae, 2007

Region-based theory of discrete spaces: A proximity approach.
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

Contact Algebras and Region-based Theory of Space: Proximity Approach - II.
Fundam. Informaticae, 2006

Contact Algebras and Region-based Theory of Space: A Proximity Approach - I.
Fundam. Informaticae, 2006

Elementary canonical formulae: extending Sahlqvist's theorem.
Ann. Pure Appl. Log., 2006

Topological Representation of Contact Lattices.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.
Stud Logica, 2005

A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems.
Proceedings of the Rough Sets, 2005

Lattice-Based Paraconsistent Logic.
Proceedings of the Relational Methods in Computer Science, 2005

Topological Representation of Precontact Algebras.
Proceedings of the Relational Methods in Computer Science, 2005

2004
Dynamic extensions of arrow logic.
Ann. Pure Appl. Log., 2004

Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.
Proceedings of the Advances in Modal Logic 5, 2004

2003
PDL with Intersection of Programs: A Complete Axiomatization.
J. Appl. Non Class. Logics, 2003

SCAN Is Complete for All Sahlqvist Formulae.
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
A Proximity Approach to Some Region-Based Theories of Space.
J. Appl. Non Class. Logics, 2002

A Modal Logic for Indiscernibility and Complementarity in Information Systems.
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
Sahlqvist Formulas in Hybrid Polyadic Modal Logics.
J. Log. Comput., 2001

Iteration-free PDL with Intersection: a Complete Axiomatization.
Fundam. Informaticae, 2001

A note on proximity spaces and connection based mereology.
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
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.
Proceedings of the Advances in Modal Logic 3, 2000

1999
Rough Polyadic modal logics.
J. Appl. Non Class. Logics, 1999

Hyperboolean Algebras and Hyperboolean Modal Logic.
J. Appl. Non Class. Logics, 1999

1998
On Scott Consequence Systems.
Fundam. Informaticae, 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
Modal Logics for Incidence Geometries.
J. Log. Comput., 1997

Modal Logics for Local and Global Similarity Relations.
Fundam. Informaticae, 1997

1996
Many-dimensional arrow logics.
J. Appl. Non Class. Logics, 1996

Geometrical Structures and Modal Logic.
Proceedings of the Practical Reasoning, 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
A Modal Logic for Cyclic Repeating
Inf. Comput., November, 1992

Inductive modal logics.
Fundam. Informaticae, 1992

A Modal Theory of Arrows. Arrow Logics I.
Proceedings of the Logics in AI, European Workshop, 1992

Consequence Relations and Information Systems.
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
An application of Rieger-Nishimura formulas to the intuitionistic modal logics.
Stud Logica, 1985

1984
Propositional dynamic logics with counters and stacks.
Proceedings of the Computation Theory, 1984

1980
Filtration theorem for dynamic algebras with tests and inverse operator.
Proceedings of the Logics of Programs and Their Applications, 1980


  Loading...