From topology to metric: Modal logic and quantification in metric spaces

Mikhail Sheremet, Michael Zakharyaschev, Dmitry Tishkovsky, Frank Wolter

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Fingerprint

    Dive into the research topics of 'From topology to metric: Modal logic and quantification in metric spaces'. Together they form a unique fingerprint.

    Mathematics

    Computer Science