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.
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
Additional statistics are available via IRStats2.