Problem of restricted interpolation in superintuitionistic and some modal logics

DOI10.1093/JIGPAL/JZP040zbMATH Open1203.03035OpenAlexW2027558344MaRDI QIDQ3577906FDOQ3577906

Authors L. L. Maksimova

Publication date 26 July 2010

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzp040

zbMATH Keywords

interpolationmodal logicamalgamationBeth propertysuperintuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Interpolation, preservation, definability (03C40)

Recommendations

• Restricted interpolation property in superintuitionistic logics
• scientific article; zbMATH DE number 2196596
• Restricted interpolation over modal logic S4
• scientific article; zbMATH DE number 1354097
• scientific article; zbMATH DE number 1202113

Cited in

(14)

• scientific article; zbMATH DE number 1202113 (Why is no real title available?)
• Algorithms for recognizing restricted interpolation over the modal logic S4
• Restricted interpolation property in superintuitionistic logics
• scientific article; zbMATH DE number 2196596 (Why is no real title available?)
• Intuitionistic logic and implicit definability
• Interpolation and definability over the logic Gl
• Amalgamation, interpolation, and implicit definability in varieties of algebras
• Recognizable logics
• Extensions of the minimal logic and the interpolation problem
• Automatic recognition of the interpolation property in some superintuitionistic propositional logics
• Restricted interpolation over modal logic S4
• Interpolation and the projective Beth property in well-composed logics
• The interpolation problem in finite-layered pre-Heyting logics
• The decidability of Craig's interpolation property in well-composed J-logics

This page was built for publication: Problem of restricted interpolation in superintuitionistic and some modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3577906)