Pages that link to "Item:Q4637223"
From MaRDI portal
The following pages link to Proof Theoretic Analysis by Iterated Reflection (Q4637223):
Displaying 8 items.
- Proof-theoretic analysis by iterated reflection (Q1407608) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- (Q4413893) (← links)
- Iterated reflection over full disquotational truth (Q4555459) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- A proof theoretic analysis of intruder theories (Q5890483) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)