Pages that link to "Item:Q1097256"
From MaRDI portal
The following pages link to Quantified modal logic and self-reference (Q1097256):
Displaying 7 items.
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Provability logics for natural Turing progressions of arithmetical theories (Q804564) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- (Q3989938) (← links)
- (Q5195548) (← links)
- (Q5471131) (← links)