Notre Dame Journal of Formal Logic 57 (2):153-179 (2016)

Authors
Stefan Wintein
Tilburg University
Abstract
In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.
Keywords Self-referential truth   Kripke’s theory of truth   game-theoretic semantics
Categories (categorize this paper)
DOI 10.1215/00294527-3346590
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,447
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Weak Kleene Scheme in Kripke's Theory of Truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
Trees for Truth.Juan Barba - 2001 - Nordic Journal of Philosophical Logic 6 (1):71-99.
Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
The Games of Logic and the Games of Inquiry.Jaakko Hintikka - 1995 - Dialectica 49 (2‐4):229-250.
Games for Truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
Axioms for Grounded Truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.
Unified Grounding.Casper Hansen - 2016 - Erkenntnis 81 (5):993-1010.
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Game Theory and Conventiont.Neil Tennant - 2001 - Nordic Journal of Philosophical Logic 6 (1):3-19.
Living Without Closure.Krista Lawlor - 2005 - Grazer Philosophische Studien 69 (1):25-50.
Editorial Introduction.P. Dekker - 1998 - Journal of Semantics 15 (4):301-303.
Preuves et jeux sémantiques.Denis Bonnay - 2004 - Philosophia Scientiae 8 (2):105-123.

Analytics

Added to PP index
2016-01-11

Total views
13 ( #681,294 of 2,330,441 )

Recent downloads (6 months)
1 ( #584,494 of 2,330,441 )

How can I increase my downloads?

Downloads

My notes