Pages that link to "Item:Q694243"
From MaRDI portal
The following pages link to Interpolation in weakly transitive modal logics (Q694243):
Displaying 12 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- (Q3509058) (← links)
- A weak form of interpolation in equational logic (Q3546111) (← links)
- (Q3784045) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)