Pages that link to "Item:Q2785600"
From MaRDI portal
The following pages link to Some correspondences of principles in interpretability logic (Q2785600):
Displaying 7 items.
- Explicit fixed points in interpretability logic (Q1176094) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- (Q4815892) (← links)
- The principles of interpretability (Q5937854) (← links)
- Modal completeness of sublogics of the interpretability logic IL (Q6047678) (← 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)