( en | de | ru )

 

Disambiguation of "Vakarelov, Dimiter"

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic extensions of arrow logic.

, and . Ann. Pure Appl. Log., 127 (1-3): 1-15 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dimiter Wassileff

Dimiter Bayew

Dimiter Wassilew

Dimiter Waltscheff

Dimiter Karadschoff

 

Other publications of authors with the same name

Algorithmic Definability and Completeness in Modal Logic.. FoIKS, volume 5956 of Lecture Notes in Computer Science, page 6-8. Springer, (2010)Many-dimensional arrow logics.. J. Appl. Non Class. Logics, 6 (4): 303-345 (1996)Hyperboolean Algebras and Hyperboolean Modal Logic., and . J. Appl. Non Class. Logics, 9 (2-3): 345-368 (1999)Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety.. Stud Logica, 48 (4): 565-575 (1989)Modal Logics for Knowledge Representation Systems.. Theor. Comput. Sci., 90 (2): 433-456 (1991)Region-based theory of discrete spaces: A proximity approach., and . Ann. Math. Artif. Intell., 49 (1-4): 5-14 (2007)Dynamic extensions of arrow logic., and . Ann. Pure Appl. Log., 127 (1-3): 1-15 (2004)Topological Representation of Contact Lattices., , , and . RelMiCS, volume 4136 of Lecture Notes in Computer Science, page 135-147. Springer, (2006)A duality between Pawlak's knowledge representation systems and BI-consequence systems.. Stud Logica, 55 (1): 205-228 (1995)Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.. Stud Logica, 80 (2-3): 393-430 (2005)