Pages that link to "Item:Q4555459"
From MaRDI portal
The following pages link to Iterated reflection over full disquotational truth (Q4555459):
Displaying 6 items.
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- THE POWER OF NAIVE TRUTH (Q5065142) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)