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 11 items.
- A simple axiomatizable theory of truth (Q1182714) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- Does truth equal provability in the maximal theory? (Q4648471) (← 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)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- Truth in applicative theories (Q5951914) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)