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

6 month trend
0Downloads
6 month trend
276Hits

Additional statistics are available via IRStats2.

Archive Staff Only (login required)

Edit/View Item
Edit/View Item