Problem of restricted interpolation in superintuitionistic and some modal logics
From MaRDI portal
Publication:3577906
DOI10.1093/jigpal/jzp040zbMath1203.03035MaRDI 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
03B45: Modal logic (including the logic of norms)
03C40: Interpolation, preservation, definability
03B55: Intermediate logics
Related Items
Interpolation and definability over the logic Gl, Interpolation and the projective Beth property in well-composed logics, Amalgamation, interpolation, and implicit definability in varieties of algebras, Recognizable logics, Extensions of the minimal logic and the interpolation problem, The decidability of Craig's interpolation property in well-composed J-logics, The interpolation problem in finite-layered pre-Heyting logics, Algorithms for recognizing restricted interpolation over the modal logic S4, Restricted interpolation over modal logic S4