Interpolation in weakly transitive modal logics

DOI10.1007/s10469-012-9177-6zbMath1282.03010OpenAlexW1984162169MaRDI 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

decidabilityaxiomatizationinterpolation propertyamalgamabilityDL-logicsweakly transitive modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)

Related Items (3)

Recognizable and perceptible logics and varieties ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ 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

This page was built for publication: Interpolation in weakly transitive modal logics