The following pages link to Unary interpretability logic (Q1203790):
Displaying 5 items.
- The formalization of interpretability (Q1176098) (← links)
- (Q3757895) (← links)
- (Q4250050) (← links)
- Unary interpretability logics for sublogics of the interpretability logic \textbf{IL} (Q6562370) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)