Interpolation properties in the extensions of the logic of inequality

DOI10.1007/S11202-010-0045-0MaRDI QIDQ606045zbMATH OpenOpenAlexFDO

Authors A. V. Karpenko

Publication date 15 November 2010

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11202-010-0045-0

zbMATH Keywords

amalgamation propertyinterpolationmodal algebramodal logic of inequality DLmodal logic wK4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Other algebras related to logic (03G25)

Recommendations

• Interpolation in weakly transitive modal logics
• On the interpolation property of some intuitionistic modal logics
• Interpolation and amalgamation; pushing the limits. I
• scientific article; zbMATH DE number 1302498
• Simple weakly transitive modal algebras

Cites work

• A weak form of interpolation in equational logic
• Decidability of the interpolation problem and of related properties in tabular logics
• Definability and interpolation in non-classical logics
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3679781 (Why is no real title available?)
• scientific article; zbMATH DE number 2196596 (Why is no real title available?)
• Interpolation and Definability in Extensions of the Minimal Logic
• Simple weakly transitive modal algebras
• Splitting lattices of logics
• The modal logic of inequality
• Undecidable properties of extensions of the logic of provability
• Weak interpolation in extensions of the logics S4 and K4

Cited in

(8)

• Interpolation and amalgamation; pushing the limits. I
• Model theoretical aspects of weakly aggregative modal logic
• Weakly aggregative modal logic: characterization and interpolation
• Interpolation and amalgamation in modal cylindric algebras
• Decidability of some interpolation properties for weakly transitive modal logics
• On weak and strong interpolation in algebraic logics
• Simple weakly transitive modal algebras
• Interpolation in weakly transitive modal logics

This page was built for publication: Interpolation properties in the extensions of the logic of inequality

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