Weak interpolation in extensions of the logics S4 and K4

DOI10.1007/s10469-008-9035-8zbMath1241.03022OpenAlexW2073035724MaRDI QIDQ431659

A. V. Karpenko

Publication date: 29 June 2012

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

Full work available at URL: https://doi.org/10.1007/s10469-008-9035-8

zbMATH Keywords

modal logicmodal algebrasamalgamabilityweak interpolation property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Related Items

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Interpolation properties in the extensions of the logic of inequality ⋮ Simple weakly transitive modal algebras ⋮ Interpolation in weakly transitive modal logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Restricted interpolation over modal logic S4

Cites Work

• Undecidable properties of extensions of the logic of provability
• Pretabular extensions of Lewis S4
• Definability and interpolation in non-classical logics
• Automatic recognition of interpolation in modal calculi
• A weak form of interpolation in equational logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item