Pages that link to "Item:Q804564"
From MaRDI portal
The following pages link to Provability logics for natural Turing progressions of arithmetical theories (Q804564):
Displaying 7 items.
- Independent numerations of theories and recursive progressions (Q1204765) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR (Q4628679) (← links)
- Evitable iterates of the consistency operator (Q5880939) (← links)