Erratum to: ``Between proof and truth
From MaRDI portal
Publication:383075
DOI10.1007/s11229-011-0043-1zbMath1275.03020MaRDI QIDQ383075
Publication date: 25 November 2013
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-011-0043-1
03A05: Philosophical and critical aspects of logic and foundations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dependent choice, `quote' and the clock
- Games in Dynamic-Epistemic Logic
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
- A semantics of evidence for classical arithmetic
- On Godel Sentences and What They Say