Pages that link to "Item:Q1073010"
From MaRDI portal
The following pages link to Some failures of interpolation in modal logic (Q1073010):
Displaying 7 items.
- Naive modus ponens and failure of transitivity (Q263086) (← links)
- Failure of interpolation in relevant logics (Q689074) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Failure of interpolation in constant domain intuitionistic logic (Q2869908) (← links)
- Two Models that show the Interpolation Theorem Fails in all <i>L</i> <sup>1</sup> ( <i>Q</i> <sub>α</sub> ) and <i>L</i> <sup>1, 1</sup> ( (Q4024856) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)