Kowalski, Tomasz; Metcalfe, George (2018). Coherence in Modal Logic. In: Advances in Modal Logic Volume 12. Advances in Modal Logic: Vol. 12 (pp. 451-464). College Publications, London
|
Text
KowMetAiML18_final.pdf - Accepted Version Available under License BORIS Standard License. Download (395kB) | Preview |
A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform deductive interpolation property for equational consequence in a variety, and a general criterion was given for the failure of coherence (and hence uniform deductive interpolation) in varieties of algebras with a term-definable semilattice reduct. In this paper, a more general criterion is obtained and used to prove the failure of coherence and uniform deductive interpolation for a broad family of modal logics, including K, KT, K4, and S4.
Item Type: |
Book Section (Book Chapter) |
---|---|
Division/Institute: |
08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics |
UniBE Contributor: |
Metcalfe, George |
Subjects: |
500 Science > 510 Mathematics |
ISSN: |
0435-2866 |
ISBN: |
978-1-84890-255-8 |
Series: |
Advances in Modal Logic |
Publisher: |
College Publications, London |
Language: |
English |
Submitter: |
George Metcalfe |
Date Deposited: |
04 Sep 2018 13:53 |
Last Modified: |
05 Dec 2022 15:17 |
BORIS DOI: |
10.7892/boris.119774 |
URI: |
https://boris.unibe.ch/id/eprint/119774 |