Search the dblp DataBase

Publications of Author

1. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
   From topology to metric: modal logic and quantification in metric spaces. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:429-448 [Conf]
   
2. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
   'Closer' representation and reasoning. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2005, pp:- [Conf]
   
3. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
   Comparative Similarity, Tree Automata, and Diophantine Equations. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:651-665 [Conf]
   
4. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
   A Logic for Concepts and Similarity. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2007, v:17, n:3, pp:415-452 [Journal]
   
5. 
   A modal logic framework for reasoning about comparative distances and topology. [Citation Graph (, )][DBLP]