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

@inproceedings{Sheremet2006FromTT,
  title={From topology to metric: modal logic and quantification in metric spaces},
  author={Mikhail Sheremet and Dmitry Tishkovsky and Frank Wolter and Michael Zakharyaschev},
  booktitle={Advances in Modal Logic},
  year={2006}
}
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this framework we can compare such well-known logics as S4 (for the topology induced by the metric), wK4 (for the derivation operator of the topology), variants of conditional logic, as well as logics of comparative similarity. One of the main problems for the new family of logics is to delimit the borders between… CONTINUE READING