From closure games to strong Kleene truth

DOI10.1215/00294527-3346590zbMath1384.03117OpenAlexW2286819012MaRDI QIDQ286693

Stefan Wintein

Publication date: 25 May 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1452520241

zbMATH Keywords

self-referential truthgame-theoretic semanticsKripke's theory of truth

Mathematics Subject Classification ID

Applications of game theory (91A80) Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Assertoric semantics and the computational power of self-referential truth
• Paradox, truth and logic. I. Paradox and truth
• Four valued semantics and the Liar
• Notes on the mathematical aspects of Kripke's theory of truth
• Truth and paradox
• Games for Truth
• Outline of a Theory of Truth

This page was built for publication: From closure games to strong Kleene truth