| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dimiter Vakarelov |
Dynamic Modalities.  |
Studia Logica  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Ivanov, Dimiter Vakarelov |
Relational Syllogistics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tinko Tinchev, Dimiter Vakarelov |
Logics of Space with Connectedness Predicates: Complete Axiomatizations. |
Advances in Modal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Algorithmic Definability and Completeness in Modal Logic. |
FoIKS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. |
Fundam. Inform. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter |
Distributive contact lattices: Topological representations. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Petar Iliev, Dimiter Vakarelov |
A Modal Logic for Pawlak's Approximation Spaces with Rough Cardinality n. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yavor Nenov, Dimiter Vakarelov |
Modal logics for mereotopological relations. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov |
Dynamic logics of the region-based theory of discrete spaces. |
Journal of Applied Non-Classical Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov |
Modal Logics for Region-based Theories of Space. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ivo Düntsch, Dimiter Vakarelov |
Region-based theory of discrete spaces: A proximity approach. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03G05, 06E25, 68T30 |
| 1 | Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov |
Logical Theories for Fragments of Elementary Geometry. |
Handbook of Spatial Logics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
intuitionistic negation, dual intuitionistic negation, minimal negation, seminegation, regular negation, Nelson negation, Nelson algebras, twist construction, Kripke semantics |
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Elementary canonical formulae: extending Sahlqvist's theorem. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgi D. Dimov, Dimiter Vakarelov |
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Georgi D. Dimov, Dimiter Vakarelov |
Contact Algebras and Region-based Theory of Space: Proximity Approach - II. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter |
Topological Representation of Contact Lattices. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
Nelson negation, subminimal logic, counterexample semantics, many-valued logics |
| 1 | Dimiter Vakarelov |
A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems. |
RSFDGrC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wendy MacCaull, Dimiter Vakarelov |
Lattice-Based Paraconsistent Logic. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
lattice representation, graded information, paraconsistent logic, negation, multi-valued logic, Kripke semantics |
| 1 | Georgi D. Dimov, Dimiter Vakarelov |
Topological Representation of Precontact Algebras. |
RelMiCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
Dynamic extensions of arrow logic. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Conradie, Valentin Goranko, Dimiter Vakarelov |
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects. |
Advances in Modal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
PDL with Intersection of Programs: A Complete Axiomatization. |
Journal of Applied Non-Classical Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov |
SCAN Is Complete for All Sahlqvist Formulae. |
RelMiCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov, Georgi D. Dimov, Ivo Düntsch, Brandon Bennett |
A Proximity Approach to Some Region-Based Theories of Space. |
Journal of Applied Non-Classical Logics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
A Modal Logic for Indiscernibility and Complementarity in Information Systems. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Sahlqvist Formulas in Hybrid Polyadic Modal Logics. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
Iteration-free PDL with Intersection: a Complete Axiomatization. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett |
A note on proximity spaces and connection based mereology. |
FOIS |
2001 |
DBLP DOI BibTeX RDF |
connection relation, pointless geometry, proximity space, mereology |
| 1 | Valentin Goranko, Dimiter Vakarelov |
Sahlqvist Formulas Unleashed in Polyadic Modal Languages. |
Advances in Modal Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Hyperboolean Algebras and Hyperboolean Modal Logic. |
Journal of Applied Non-Classical Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Rough Polyadic modal logics. |
Journal of Applied Non-Classical Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Georgi D. Dimov, Dimiter Vakarelov |
On Scott Consequence Systems. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Dimiter Vakarelov |
Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures. |
Advances in Modal Logic |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Dimiter Vakarelov |
Extending arrow logic. |
RelMiCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov |
Modal Logics for Incidence Geometries. |
J. Log. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Deneva, Dimiter Vakarelov |
Modal Logics for Local and Global Similarity Relations. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Many-dimensional arrow logics. |
Journal of Applied Non-Classical Logics |
1996 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov |
Geometrical Structures and Modal Logic. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
A duality between Pawlak's knowledge representation systems and BI-consequence systems. |
Studia Logica |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
A Duality Between Pawlak's Information Systems and Bi-Consequence Systems with Applications to First-Order and Modal Characterizations of some Informational Relations. |
WOCFAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
A Modal Logic for Cyclic Repeating |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Inductive modal logics. |
Fundam. Inform. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
A Modal Theory of Arrows. Arrow Logics I. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
Arrow structures, Modal logics |
| 1 | Dimiter Vakarelov |
Modal Logics for Knowledge Representation Systems. |
Theor. Comput. Sci. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
A model logic for similarity relations in pawlak knowledge representation systems. |
Fundam. Inform. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Modal Logics for Knowledge Representation Systems. |
Logic at Botik |
1989 |
DBLP DOI BibTeX RDF |
knowledge representation systems, logics for knowledge representation, completeness theorems, filtration theorems, modal logics |
| 1 | Dimiter Vakarelov |
Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information. |
AIMSA |
1986 |
DBLP BibTeX RDF |
|
| 1 | Tinko Tinchev, Dimiter Vakarelov |
Propositional dynamic logics with counters and stacks. |
Symposium on Computation Theory |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimiter Vakarelov |
Filtration theorem for dynamic algebras with tests and inverse operator. |
Logic of Programs |
1980 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")