Pages that link to "Item:Q5937854"

The following pages link to The principles of interpretability (Q5937854):

Displaying 9 items.

• A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
• The formalization of interpretability (Q1176098) (← links)
• Unary interpretability logic (Q1203790) (← links)
• The interpretability logic of all reasonable arithmetical theories. The new conjecture (Q1840999) (← links)
• Some correspondences of principles in interpretability logic (Q2785600) (← links)
• Filtrations of generalized Veltman models (Q2827954) (← links)
• A new principle in the interpretability logic of all reasonable arithmetical theories (Q3081234) (← links)
• INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS (Q5148108) (← links)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)