Pages that link to "Item:Q3577906"
From MaRDI portal
The following pages link to Problem of restricted interpolation in superintuitionistic and some modal logics (Q3577906):
Displaying 13 items.
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Recognizable logics (Q887647) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Automatic recognition of the interpolation property in some superintuitionistic propositional logics (Q2882965) (← links)
- (Q4210626) (← links)