The following pages link to (Q4329232):
Displaying 12 items.
- Interpolation and the interpretability logic of PA (Q867400) (← links)
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Interpolation and implicit definability in extensions of the provability logic (Q3534985) (← links)
- (Q5232911) (← links)
- The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} (Q6178467) (← links)
- The persistence principle over weak interpretability logic (Q6561649) (← links)
- Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (Q6562370) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
