'Closer' representation and reasoning. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (Description Logics, 2005)

Comparative Similarity, Tree Automata, and Diophantine Equations. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (LPAR, 2005)

From topology to metric: modal logic and quantification in metric spaces. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (Advances in Modal Logic, 2006)

A Logic for Concepts and Similarity. - Mikhail Sheremet; Dmitry Tishkovsky; Frank Wolter; Michael Zakharyaschev (J. Log. Comput., 2007)

A modal logic framework for reasoning about comparative distances and topology. - Mikhail Sheremet; Frank Wolter; Michael Zakharyaschev (Ann. Pure Appl. Log., 2010)