{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T03:37:11Z","timestamp":1760240231310},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T00:00:00Z","timestamp":1383091200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Rev. symb. logic"],"published-print":{"date-parts":[[2014,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We axiomatize Leitgeb\u2019s (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to \u03b5<jats:sub>0<\/jats:sub>. We also give alternative axiomatizations of Kripke\u2019s (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system KF and Cantini\u2019s VF, respectively.<\/jats:p>","DOI":"10.1017\/s1755020313000282","type":"journal-article","created":{"date-parts":[[2013,10,30]],"date-time":"2013-10-30T14:22:23Z","timestamp":1383142943000},"page":"73-83","source":"Crossref","is-referenced-by-count":9,"title":["AXIOMS FOR GROUNDED TRUTH"],"prefix":"10.1017","volume":"7","author":[{"given":"THOMAS","family":"SCHINDLER","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2013,10,30]]},"reference":[{"key":"S1755020313000282_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302341"},{"key":"S1755020313000282_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-004-3758-3"},{"key":"S1755020313000282_ref10","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1755020313000282_ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511921049"},{"key":"S1755020313000282_ref9","doi-asserted-by":"publisher","DOI":"10.2307\/2023885"},{"key":"S1755020313000282_ref13","unstructured":"Vugt F. , & Bonnay D . (2009). What makes a sentence be about the world? Towards a unified account of groundedness. Unpublished manuscript."},{"key":"S1755020313000282_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080209"},{"key":"S1755020313000282_ref5","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1286284556"},{"key":"S1755020313000282_ref8","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1093\/oso\/9780199287116.003.0013","volume-title":"Deflationism and Paradox","author":"Halbach","year":"2005"},{"key":"S1755020313000282_ref1","doi-asserted-by":"publisher","DOI":"10.2307\/2274965"},{"key":"S1755020313000282_ref4","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001"},{"key":"S1755020313000282_ref12","unstructured":"Meadows T . (2011). Truth, dependence, and supervaluation: Living with the ghost. Journal of Philosophical Logic (forthcoming)."},{"key":"S1755020313000282_ref6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005662017962"},{"key":"S1755020313000282_ref2","doi-asserted-by":"publisher","DOI":"10.2307\/2274902"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020313000282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,19]],"date-time":"2024-05-19T03:42:23Z","timestamp":1716090143000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020313000282\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,30]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["S1755020313000282"],"URL":"https:\/\/doi.org\/10.1017\/s1755020313000282","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,30]]}}}