{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T17:09:19Z","timestamp":1711732159840},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2015,4,8]],"date-time":"2015-04-08T00:00:00Z","timestamp":1428451200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2015,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We provide infinitary proof theories for three common semantic theories of truth: strong Kleene, van Fraassen supervaluation and Cantini supervaluation. 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\u2019s definition is <jats:inline-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S175502031500012X_inline1\" \/><jats:tex-math>$\\omega _1^{CK}$<\/jats:tex-math><\/jats:alternatives><\/jats:inline-formula>. This work can be understood as an effort to provide a proof-theoretic counterpart to Welch\u2019s game-theoretic (Welch, 2009).<\/jats:p>","DOI":"10.1017\/s175502031500012x","type":"journal-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T04:52:22Z","timestamp":1436158342000},"page":"207-235","source":"Crossref","is-referenced-by-count":5,"title":["INFINITARY TABLEAU FOR SEMANTIC TRUTH"],"prefix":"10.1017","volume":"8","author":[{"given":"TOBY","family":"MEADOWS","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,4,8]]},"reference":[{"key":"S175502031500012X_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7"},{"key":"S175502031500012X_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12013-2"},{"key":"S175502031500012X_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174"},{"key":"S175502031500012X_ref11","volume-title":"Descriptive Set Theory","author":"Moschovakis","year":"1980"},{"key":"S175502031500012X_ref8","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S175502031500012X_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"S175502031500012X_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21723-8"},{"key":"S175502031500012X_ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2274965"},{"key":"S175502031500012X_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139164931"},{"key":"S175502031500012X_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-11035-5"},{"key":"S175502031500012X_ref17","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1255526080"},{"key":"S175502031500012X_ref9","volume-title":"Recursive Aspects of Descriptive Set Theory","author":"Mansfield","year":"1985"},{"key":"S175502031500012X_ref12","volume-title":"Proof Theory: The First Step into Impredicativity","author":"Pohlers","year":"2009"},{"key":"S175502031500012X_ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2274021"},{"key":"S175502031500012X_ref10","volume-title":"Elementary Induction on Abstract Structures","author":"Moschovakis","year":"1974"},{"key":"S175502031500012X_ref7","unstructured":"Hjorth G . (Unpublished notes). Vienna Notes on Effective Descriptive Set Theory and Admissible Sets ."},{"key":"S175502031500012X_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0062936"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S175502031500012X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T00:19:26Z","timestamp":1555805966000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S175502031500012X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,8]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["S175502031500012X"],"URL":"https:\/\/doi.org\/10.1017\/s175502031500012x","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,8]]}}}