The following pages link to (Q3900021):
Displaying 4 items.
- Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
- Modal characterisation theorems over special classes of frames (Q732052) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
