Pages that link to "Item:Q431659"
From MaRDI portal
The following pages link to Weak interpolation in extensions of the logics S4 and K4 (Q431659):
Displaying 7 items.
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
