Simple weakly transitive modal algebras
From MaRDI portal
Publication:619324
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
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