Interpolation properties in the extensions of the logic of inequality

DOI10.1007/S11202-010-0045-0zbMath1209.03014OpenAlexW2052307888MaRDI QIDQ606045

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

interpolationamalgamation propertymodal algebramodal logic of inequality DLmodal logic wK4

Mathematics Subject Classification ID

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

Related Items (2)

Interpolation in weakly transitive modal logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

Cites Work

• Weak interpolation in extensions of the logics S4 and K4
• Decidability of the interpolation problem and of related properties in tabular logics
• Simple weakly transitive modal algebras
• Undecidable properties of extensions of the logic of provability
• Definability and interpolation in non-classical logics
• Interpolation and Definability in Extensions of the Minimal Logic
• A weak form of interpolation in equational logic
• Splitting lattices of logics
• The modal logic of inequality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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