Pages that link to "Item:Q804562"
From MaRDI portal
The following pages link to Some independence results in interpretability logic (Q804562):
Displaying 5 items.
- Independent choices and the interpretation of IF logic (Q1610629) (← links)
- A Logical Approach to Context-Specific Independence (Q2820693) (← links)
- The principles of interpretability (Q5937854) (← links)
- Bisimulations and bisimulation games between Verbrugge models (Q6096733) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)