Coherence in Modal Logic

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

[img]
Preview
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:

25 Oct 2019 09:43

BORIS DOI:

10.7892/boris.119774

URI:

https://boris.unibe.ch/id/eprint/119774

Actions (login required)

Edit item Edit item
Provide Feedback