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

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

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)

Cited In (13)

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

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)