BIROn - Birkbeck Institutional Research Online

    Sahlqvist theorems for precontact logics

    Balbiani, P. and Kikot, Stanislav (2012) Sahlqvist theorems for precontact logics. In: Bolander, T. and Braner, T. and Ghilardi, S. and Moss, L.S. (eds.) Advances in Modal Logic. London, UK: College Publications, pp. 55-70. ISBN 9781848900684.

    Full text not available from this repository.

    Abstract

    Precontact logics are propositional modal logics that have been recently considered in order to obtain decidable fragments of the region-based theories of space introduced by De Laguna and Whitehead. We give the definition of Sahlqvist formulas to this region-based setting and we prove correspondence and canonicity results. Together, these results give rise to a completeness result for precontact logics that are axiomatized by Sahlqvist axioms.

    Metadata

    Item Type: Book Section
    Keyword(s) / Subject(s): Sahlqvist theory, precontact logics, correspondence, canonicity
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 24 May 2013 16:08
    Last Modified: 09 Aug 2023 12:33
    URI: https://eprints.bbk.ac.uk/id/eprint/7035

    Statistics

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

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item