Simple weakly transitive modal algebras

DOI10.1007/s10469-010-9092-7zbMath1255.03060OpenAlexW1983722690MaRDI QIDQ619324

A. V. Karpenko, Larisa L. Maksimova

Publication date: 24 January 2011

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

Full work available at URL: https://doi.org/10.1007/s10469-010-9092-7

zbMATH Keywords

weak interpolation propertyDL-algebraweakly amalgamable varietyweakly transitive modal algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items

Interpolation properties in the extensions of the logic of inequality ⋮ 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
• Some results on modal axiomatization and definability for topological spaces
• Modal definability in enriched languages
• Definability and interpolation in non-classical logics
• Topological Modal Logics with Difference Modality
• A weak form of interpolation in equational logic
• The modal logic of inequality
• « Everywhere » and « here »
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item