Games for truth

DOI10.2178/BSL/1255526080MaRDI QIDQ3655267zbMATH OpenOpenAlexFDO

Authors

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

zbMATH Keywords

determinacygamestheory of truthtruth sets

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Applications of game theory (91A80)

Recommendations

• Between proof and truth
• Truth in dialogue logic and game-theoretical semantics (GTS)
• From closure games to strong Kleene truth
• The truth is never simple
• From semantic games to provability: the case of Gödel logic

Cites work

• A revenge-immune solution to the semantic paradoxes
• A theory of formal truth arithmetically equivalent to ID₁
• Axiomatizing Kripke's theory of truth
• Elementary induction on abstract structures
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• Notes on naive semantics
• Outline of a Theory of Truth
• The truth is never simple
• What truth depends on
• Δ₃^O-determinacy, comprehension and induction

Cited in

(14)

• Truth, partial logic and infinitary proof systems
• A note on Horwich's notion of grounding
• Truth, dependence and supervaluation: living with the ghost
• The complexity of the dependence operator
• From closure games to strong Kleene truth
• Some observations on truth hierarchies
• Field's \textit{Saving truth from paradox}: some things it doesn't do
• Truth, logical validity and determinateness: a commentary on Field's \textit{Saving truth from paradox}
• Game of the truel
• Between proof and truth
• A graph-theoretic analysis of the semantic paradoxes
• Infinitary tableau for semantic truth
• Guest editors' introduction
• Periodicity and reflexivity in revision sequences

This page was built for publication: Games for truth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655267)