Mikhail Sheremet

According to our database, Mikhail Sheremet authored at least 5 papers between 2005 and 2010.

Collaborative distances:

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

2010

A modal logic framework for reasoning about comparative distances and topology.

Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev

Ann. Pure Appl. Log., 2010

2007

A Logic for Concepts and Similarity.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

J. Log. Comput., 2007

2006

From topology to metric: modal logic and quantification in metric spaces.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Proceedings of the Advances in Modal Logic 6, 2006

2005

Comparative Similarity, Tree Automata, and Diophantine Equations.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Proceedings of the Logic for Programming, 2005

'Closer' representation and reasoning.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005