Provably true sentences across axiomatizations of Kripke's theory of truth
From MaRDI portal
Publication:1708102
DOI10.1007/s11225-017-9727-yzbMath1437.03162OpenAlexW2614458588MaRDI QIDQ1708102
Publication date: 4 April 2018
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/provably-true-sentences-across-axiomatizations-of-kripkes-theory-of-truth(bbc29cb3-504e-4cd0-82d4-db0bbd9dae3a).html
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (6)
, , AND REINHARDT’S PROGRAM ⋮ THE POWER OF NAIVE TRUTH ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ On the costs of nonclassical logic ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof theory. The first step into impredicativity
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Kripke and the logic of truth
- On the costs of nonclassical logic
- Toward useful type-free theories. I
- Notes on Formal Theories of Truth
- Iterated reflection principles and the ω-rule
- Reflecting on incompleteness
- Outline of a Theory of Truth
- Iterated reflection over full disquotational truth
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
- Systems of predicative analysis
- Axiomatizing Kripke's theory of truth
This page was built for publication: Provably true sentences across axiomatizations of Kripke's theory of truth