The following pages link to (Q4250364):
Displaying 9 items.
- Failure of interpolation in relevant logics (Q689074) (← links)
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- (Q3784045) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- (Q4787878) (← links)
- Guarded negation (Q5890544) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)