Pages that link to "Item:Q431670"
From MaRDI portal
The following pages link to Restricted interpolation property in superintuitionistic logics (Q431670):
Displaying 7 items.
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Interpolation in superintuitionistic predicate logics with equality (Q2709301) (← links)
- Superintuitionistic logics and the projective Beth property (Q2713994) (← links)
- Automatic recognition of the interpolation property in some superintuitionistic propositional logics (Q2882965) (← links)
- The Projective Beth Property and Interpolation in Positive and Related Logics (Q3446517) (← links)
- Problem of restricted interpolation in superintuitionistic and some modal logics (Q3577906) (← links)
- (Q4210626) (← links)