Pages that link to "Item:Q1708102"
From MaRDI portal
The following pages link to Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102):
Displaying 6 items.
- On the costs of nonclassical logic (Q1749804) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- THE POWER OF NAIVE TRUTH (Q5065142) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
