scientific article; zbMATH DE number 4047685
From MaRDI portal
Publication:3784045
zbMATH Open0643.03012MaRDI QIDQ3784045FDOQ3784045
Authors: L. L. Maksimova
Publication date: 1987
Full work available at URL: https://eudml.org/doc/189947
Title of this publication is not available (Why is that?)
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
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Cited In (15)
- Interpolation for extended modal languages
- Uniform Lyndon interpolation for basic non-normal modal logics
- Failure of interpolation in combined modal logics
- Interpolation in non-classical logics
- Amalgamation and interpolation in normal modal logics
- Intuitionistic logic and implicit definability
- Title not available (Why is that?)
- Some failures of interpolation in modal logic
- Interpolation in infinitely layered extensions of provability logic
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Undecidable properties of extensions of the logic of provability
- Undecidable properties of extensions of provability logic. II
- Restricted interpolation over modal logic S4
- An analog of Beth's theorem in normal extensions of the modal logic K4
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
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)