Interpolation in weakly transitive modal logics

DOI10.1007/s10469-012-9177-6zbMath1282.03010MaRDI QIDQ694243

A. V. Karpenko

Publication date: 11 December 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-012-9177-6

zbMATH Keywords

decidability; axiomatization; interpolation property; amalgamability; DL-logics; weakly transitive modal logics

Mathematics Subject Classification ID

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

03B25: Decidability of theories and sets of sentences

03C40: Interpolation, preservation, definability

Related Items

Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, Recognizable and perceptible logics and varieties, Restricted interpolation over modal logic S4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak interpolation in extensions of the logics S4 and K4
• Decidability of the interpolation problem and of related properties in tabular logics
• Interpolation properties in the extensions of the logic of inequality
• Simple weakly transitive modal algebras
• Modal definability in enriched languages
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Definability and interpolation in non-classical logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Automatic recognition of interpolation in modal calculi
• The lattice of modal logics: an algebraic investigation
• Splitting lattices of logics
• The modal logic of inequality
• « Everywhere » and « here »
• An incompleteness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi