BIROn - Birkbeck Institutional Research Online

    A modal logic framework for reasoning about comparative distances and topology

    Sheremet, M. and Wolter, F. and Zakharyaschev, Michael (2010) A modal logic framework for reasoning about comparative distances and topology. Annals of Pure and Applied Logic 161 (4), pp. 534-559. ISSN 0168-0072.

    Full text not available from this repository.

    Abstract

    We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the comparison and combination of logics from distinct research traditions such as Tarski’s View the MathML source for topological closure and interior, conditional logics, and logics of comparative similarity. This framework is obtained by decomposing the underlying modal-like operators into first-order quantifier patterns. We then show that quite a powerful and natural fragment of the resulting first-order logic can be captured by one binary operator comparing distances between sets and one unary operator distinguishing between realised and limit distances (i.e., between minimum and infimum). Due to its greater expressive power, this logic turns out to behave quite differently from both View the MathML source and conditional logics. We provide finite (Hilbert-style) axiomatisations and ExpTime-completeness proofs for the logics of various classes of distance spaces, in particular metric spaces. But we also show that the logic of the real line (and various other important metric spaces) is not recursively enumerable. This result is proved by an encoding of Diophantine equations.

    Metadata

    Item Type: Article
    Keyword(s) / Subject(s): Modal logic, conditional logics, metric spaces, topology, diophantine equations
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Administrator
    Date Deposited: 01 Feb 2011 12:04
    Last Modified: 09 Aug 2023 12:30
    URI: https://eprints.bbk.ac.uk/id/eprint/1916

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    279Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item