Coherence in modal logic

MaRDI QIDQ5224581zbMATH OpenFDO

Authors Tomasz Kowalski, George Metcalfe

Publication date 24 July 2019

Full work available at URL https://arxiv.org/abs/1902.02540

zbMATH Keywords

coherencecompact congruencesfree algebrasmodal logicmodel completionuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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.

Recommendations

• scientific article; zbMATH DE number 4154514
• scientific article; zbMATH DE number 3924858
• Coherence for modalities
• Uniformity of congruences in coherent varieties
• scientific article; zbMATH DE number 5058821

Cited in

(8)

• De Finetti coherence and logical consistency
• Uniform interpolation and coherence
• Coherence of rules for defining conditional possibility
• Coherence in inquisitive first-order logic
• A note on the issue of cohesiveness in canonical models
• Mathematical Structuralism, Modal Nominalism, and the Coherence Principle
• scientific article; zbMATH DE number 125886 (Why is no real title available?)
• Coherence for modalities

This page was built for publication: Coherence in modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224581)