Interpolation properties in the extensions of the logic of inequality
From MaRDI portal
Publication:606045
DOI10.1007/s11202-010-0045-0zbMath1209.03014MaRDI QIDQ606045
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
03B45: Modal logic (including the logic of norms)
03G25: Other algebras related to logic
03C40: Interpolation, preservation, definability
Related Items
Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, Interpolation in weakly transitive modal logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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