Pages that link to "Item:Q2097057"
From MaRDI portal
The following pages link to Interpolation properties for Sacchetti's logics (Q2097057):
Displaying 5 items.
- Weak interpolation in extensions of the logics S4 and K4 (Q431659) (← links)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- (Q3358708) (← links)