Pages that link to "Item:Q685075"
From MaRDI portal
The following pages link to A generalized notion of weak interpretability and the corresponding modal logic (Q685075):
Displaying 4 items.
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- Essential hereditary undecidability (Q6565566) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
