  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.
