Coherence in Modal Logic [article]

Tomasz Kowalski, George Metcalfe
2019 arXiv   pre-print
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 » ... re 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.
arXiv:1902.02540v1 fatcat:twg72iaqlbbsvlgdeij6eohhby