Problem of restricted interpolation in superintuitionistic and some modal logics
From MaRDI portal
Publication:3577906
DOI10.1093/jigpal/jzp040zbMath1203.03035OpenAlexW2027558344MaRDI QIDQ3577906
Publication date: 26 July 2010
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzp040
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)
Related Items
Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Extensions of the minimal logic and the interpolation problem ⋮ Recognizable logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Interpolation and definability over the logic Gl ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Restricted interpolation over modal logic S4
This page was built for publication: Problem of restricted interpolation in superintuitionistic and some modal logics
