BIROn - Birkbeck Institutional Research Online

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

    Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) From topology to metric: modal logic and quantification in metric spaces. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6. College Publications, pp. 429-448. ISBN 9781904987208.

    Full text not available from this repository.


    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 'decidable' and 'undecidable.' As a first step in this direction, we consider the modal logic with the operator 'closer to a set 0 than to a set 1' interpreted in metric spaces. This logic contains S4 with the universal modality and corresponds to a very natural language within our framework. We prove that over arbitrary metric spaces this logic is ExpTime-complete. Recall that over R, Q, and Z, as well as their finite subspaces, this logic is undecidable.


    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 25 Oct 2021 17:29
    Last Modified: 09 Aug 2023 12:52


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item