Pages that link to "Item:Q435232"

The following pages link to Provability and interpretability logics with restricted realizations (Q435232):

Displaying 5 items.

• Interpretability suprema in Peano arithmetic (Q2402961) (← links)
• The polytopologies of transfinite provability logic (Q2449857) (← links)
• Topological Interpretations of Provability Logic (Q5255798) (← links)
• Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)