Games for Truth
From MaRDI portal
Publication:3655267
DOI10.2178/bsl/1255526080zbMath1193.03011MaRDI QIDQ3655267
No author found.
Publication date: 7 January 2010
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/56204ac74b4a7292ac5957548f6551f0e6772a37
91A80: Applications of game theory
03A05: Philosophical and critical aspects of logic and foundations
03F30: First-order arithmetic and fragments
Related Items
A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES, INFINITARY TABLEAU FOR SEMANTIC TRUTH, Guest editors' introduction, From closure games to strong Kleene truth, Periodicity and reflexivity in revision sequences, Truth, partial logic and infinitary proof systems, Truth, dependence and supervaluation: living with the ghost, The complexity of the dependence operator, SOME OBSERVATIONS ON TRUTH HIERARCHIES, FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO, TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’SSAVING TRUTH FROM PARADOX
Cites Work
- Unnamed Item
- What truth depends on
- Notes on naive semantics
- Elementary induction on abstract structures
- A revenge-immune solution to the semantic paradoxes
- A theory of formal truth arithmetically equivalent to ID1
- The truth is never simple
- Outline of a Theory of Truth
- Δ3O-determinacy, comprehension and induction
- Axiomatizing Kripke's theory of truth