Infinitary Tableau for Semantic Truth

Toby Meadows

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)
5 Downloads (Pure)


We provide infinitary proof theories for three common semantic theories of truth: strong Kleene, van Fraassen supervaluation and Cantinisupervaluation. The value of these systems is that they provide an easy method of proving simple facts about semantic theories. Moreover we shall show that they also give us a simpler understanding of the computational complexity of these definitions and provide a direct proof that the closure ordinal for Kripke’s definition is ωCK1. This work can be understood as an effort to provide a proof-theoretic counterpart to Welch’s game theoretic (Welch, 2009).
Original languageEnglish
Pages (from-to)207-235
Number of pages29
JournalReview of Symbolic Logic
Issue number2
Early online date8 Apr 2015
Publication statusPublished - Jun 2015


  • Semantic Theories of Truth


Dive into the research topics of 'Infinitary Tableau for Semantic Truth'. Together they form a unique fingerprint.

Cite this