The following pages link to (Q3464621):
Displaying 10 items.
- Truth and the philosophy of mathematics (Q2080591) (← links)
- About Truth and Types (Q3305551) (← links)
- On the weak Kleene scheme in Kripke's theory of truth (Q3984417) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- THE POWER OF NAIVE TRUTH (Q5065142) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)
