Pages that link to "Item:Q6047678"
From MaRDI portal
The following pages link to Modal completeness of sublogics of the interpretability logic IL (Q6047678):
Displaying 4 items.
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← 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)
