Dmitry Sustretov

According to our database, Dmitry Sustretov authored at least 5 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Generalised Imaginaries and Galois Cohomology.

Dmitry Sustretov

J. Symb. Log., 2016

2014

The quantum harmonic oscillator as a Zariski geometry.

Vinesh Solanki, Dmitry Sustretov, Boris Zilber

Ann. Pure Appl. Log., 2014

2009

Hybrid Logics of Separation Axioms.

Dmitry Sustretov

J. Log. Lang. Inf., 2009

Modal languages for topology: Expressivity and definability.

Balder ten Cate, David Gabelaia, Dmitry Sustretov

Ann. Pure Appl. Log., 2009

2007

Experiments in Theorem Proving for Topological Hybrid Logic.

Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn

Proceedings of the 5th Workshop on Methods for Modalities, 2007