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

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Browse the full AiML paper archive.