scientific article; zbMATH DE number 4047685
From MaRDI portal
Publication:3784045
Recommendations
- scientific article; zbMATH DE number 1303729
- Interpolation in Normal Extensions of the Brouwer Logic
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Interpolation in weakly transitive modal logics
- Amalgamation and interpolation in normal modal logics
- scientific article; zbMATH DE number 3893171
- Interpolation in non-classical logics
- On the interpolation property of some intuitionistic modal logics
- scientific article; zbMATH DE number 2184446
- scientific article; zbMATH DE number 2196596
Cited in
(15)- Interpolation in non-classical logics
- Some failures of interpolation in modal logic
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
- Amalgamation and interpolation in normal modal logics
- Intuitionistic logic and implicit definability
- Uniform Lyndon interpolation for basic non-normal modal logics
- Restricted interpolation over modal logic S4
- An analog of Beth's theorem in normal extensions of the modal logic K4
- scientific article; zbMATH DE number 4172946 (Why is no real title available?)
- Interpolation for extended modal languages
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Interpolation in infinitely layered extensions of provability logic
- Failure of interpolation in combined modal logics
- Undecidable properties of extensions of the logic of provability
- Undecidable properties of extensions of provability logic. II
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3784045)
