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 11 items.
- Transductions in arithmetic (Q904144) (← links)
- A mathematical characterization of interpretation between theories (Q1062672) (← links)
- The logic of linear tolerance (Q1207342) (← links)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
- A Modal Extension of Weak Generalisation Predicate Logic (Q3433107) (← links)
- (Q3509058) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- (Q4815892) (← links)
- (Q5413335) (← links)
- Essential hereditary undecidability (Q6565566) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)