The following pages link to (Q3784045):
Displaying 14 items.
- Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Undecidable properties of extensions of provability logic. II (Q805607) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Some failures of interpolation in modal logic (Q1073010) (← links)
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- An analog of Beth's theorem in normal extensions of the modal logic K4 (Q2366342) (← links)
- Interpolation for extended modal languages (Q3370762) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
