Pages that link to "Item:Q6047678"

The following pages link to Modal completeness of sublogics of the interpretability logic IL (Q6047678):

Displaying 8 items.

• INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
• Complexity of the interpretability logic IL (Q5241913) (← links)
• Complexity of the interpretability logics <b>IL</b>W and <b>IL</b>P (Q5877713) (← links)
• Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
• 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)