Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.7892/boris.119774 | Advances in Modal Logic |
Field | DocType | Citations |
Discrete mathematics,Reduct,Finitely-generated abelian group,Algebra,Computer science,Interpolation,Coherence (physics),Modal logic,Semilattice,Modal | Conference | 0 |
PageRank | References | Authors |
0.34 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomasz Kowalski | 1 | 124 | 24.06 |
george metcalfe | 2 | 196 | 20.10 |