Experiments in Theorem Proving for Topological Hybrid Logic. - Dmitry Sustretov; Guillaume Hoffmann 001; Carlos Areces; Patrick Blackburn (M4M, 2007)

Modal languages for topology: Expressivity and definability. - Balder ten Cate; David Gabelaia; Dmitry Sustretov (Ann. Pure Appl. Log., 2009)

Hybrid Logics of Separation Axioms. - Dmitry Sustretov (J. Log. Lang. Inf., 2009)

The quantum harmonic oscillator as a Zariski geometry. - Vinesh Solanki; Dmitry Sustretov; Boris Zilber (Ann. Pure Appl. Log., 2014)

Generalised Imaginaries and Galois Cohomology. - Dmitry Sustretov (J. Symb. Log., 2016)