{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:38:41Z","timestamp":1740141521587,"version":"3.37.3"},"reference-count":27,"publisher":"Oxford University Press (OUP)","issue":"8","funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["658285"],"award-info":[{"award-number":["658285"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12,1]]},"DOI":"10.1093\/logcom\/exx023","type":"journal-article","created":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T17:45:04Z","timestamp":1497548704000},"page":"2631-2651","source":"Crossref","is-referenced-by-count":12,"title":["Iterated reflection over full disquotational truth"],"prefix":"10.1093","volume":"27","author":[{"given":"Martin","family":"Fischer","sequence":"first","affiliation":[{"name":"MCMP, LMU Muenchen. E-mail: M.Fischer@lrz.uni-muenchen.de"}]},{"given":"Carlo","family":"Nicolai","sequence":"additional","affiliation":[{"name":"Department of Philosophy and Religious Studies, Utrecht University, Janskerkhof 13, 3512 BL Utrecht, The Netherlands."}]},{"given":"Leon","family":"Horsten","sequence":"additional","affiliation":[{"name":"Cotham House, Bristol BS6 6JL, United Kingdom. E-mail: Leon.Horsten@bristol.ac.uk"}]}],"member":"286","published-online":{"date-parts":[[2017,8,8]]},"reference":[{"key":"key\n\t\t\t\t20180618202759_B1","first-page":"244","article-title":"Frege structures and the notions of proposition, truth and set.","volume-title":"Journal of Symbolic Logic","author":"Aczel.","year":"1980"},{"key":"key\n\t\t\t\t20180618202759_B2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1070\/RM2005v060n02ABEH000823","article-title":"Reflection principles and provability algebras in formal arithmetic.","volume":"60","author":"Beklemishev.","year":"2005","journal-title":"Russian Mathematical Surveys"},{"key":"key\n\t\t\t\t20180618202759_B3","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-94-017-0458-8_5","article-title":"Partial logic.","volume":"Vol. 5","author":"Blamey.","year":"2002","journal-title":"Handjournal of Philosophical Logic"},{"key":"key\n\t\t\t\t20180618202759_B4","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19890350202","article-title":"Notes on formal theories of truth.","volume":"35","author":"Cantini.","year":"1989","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"key\n\t\t\t\t20180618202759_B5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","article-title":"Arithmetization of metamathematics in a general setting.","volume":"XLIX","author":"Feferman.","year":"1960","journal-title":"Fundamenta Mathematicae"},{"key":"key\n\t\t\t\t20180618202759_B6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.2307\/2964649","article-title":"Transfinite recursive progression of axiomatic theories.","volume":"27","author":"Feferman.","year":"1962","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180618202759_B7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269764","article-title":"Systems of predicative analysis.","volume":"29","author":"Feferman.","year":"1964","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180618202759_B8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2274902","article-title":"Reflecting on incompleteness.","volume":"56","author":"Feferman.","year":"1991","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180618202759_B9","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving Truth from Paradox","author":"Field.","year":"2008"},{"article-title":"Infinitary proof systems and partial truth.","author":"Fischer","key":"key\n\t\t\t\t20180618202759_B10","doi-asserted-by":"crossref","DOI":"10.1007\/s11225-017-9751-y"},{"key":"key\n\t\t\t\t20180618202759_B11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(87)90073-X","article-title":"An axiomatic approach to self-referential truth.","volume":"33","author":"Friedman","year":"1987","journal-title":"Annals of Pure and Applied Logic"},{"key":"key\n\t\t\t\t20180618202759_B12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First-Order Arithmetic","author":"H\u00e1jek","year":"1993"},{"key":"key\n\t\t\t\t20180618202759_B13","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1305\/ndjfl\/1040511340","article-title":"A system of complete and consistent truth.","volume":"35","author":"Halbach.","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"key\n\t\t\t\t20180618202759_B14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139696586","volume-title":"Axiomatic Theories of Truth","author":"Halbach.","year":"2014"},{"key":"key\n\t\t\t\t20180618202759_B15","doi-asserted-by":"crossref","first-page":"677","DOI":"10.2178\/jsl\/1146620166","article-title":"Axiomatizing Kripke\u2019s theory of truth.","volume":"71","author":"Halbach","year":"2006","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180618202759_B16","article-title":"On the costs of nonclassical logic.","author":"Halbach","year":"2017","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20180618202759_B17","article-title":"Norms for theories of reflexive truth.","volume-title":"Unifying the Philosophy of Truth","author":"Horsten","year":"2015"},{"key":"key\n\t\t\t\t20180618202759_B18","first-page":"195","article-title":"Truth is simple.","volume":"126","author":"Horsten","year":"2017","journal-title":"Mind"},{"key":"key\n\t\t\t\t20180618202759_B19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19680140702","article-title":"Reflection principles and their use for establishing the complexity of axiomatic systems.","volume":"14","author":"Kreisel","year":"1968","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"key\n\t\t\t\t20180618202759_B20","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","article-title":"Outline of a theory of truth.","volume":"72","author":"Kripke.","year":"1975","journal-title":"The Journal of Philosophy"},{"key":"key\n\t\t\t\t20180618202759_B21","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1111\/j.1747-9991.2007.00070.x","article-title":"What theories of truth should be like (but cannot be).","volume":"2","author":"Leitgeb.","year":"2007","journal-title":"Philosophy Compass"},{"key":"key\n\t\t\t\t20180618202759_B22","doi-asserted-by":"crossref","first-page":"418","DOI":"10.2307\/420956","article-title":"Cut elimination in the presence of axioms.","volume":"4","author":"Negri","year":"1998","journal-title":"Bulletin of Symbolic Logic"},{"key":"key\n\t\t\t\t20180618202759_B23","first-page":"1","article-title":"Provably true sentences across axiomatizations of Kripke\u2019s theory of truth.","author":"Nicolai.","year":"2017","journal-title":"Studia Logica"},{"volume-title":"Proof Theory, The First Step into Impredicativity","year":"2009","author":"Pohlers.","key":"key\n\t\t\t\t20180618202759_B24"},{"journal-title":"Proofs and Computations","year":"2012","author":"Schwichtenberg.","key":"key\n\t\t\t\t20180618202759_B25"},{"key":"key\n\t\t\t\t20180618202759_B26","first-page":"821","article-title":"The incompleteness theorems.","volume-title":"Handjournal of Mathematical Logic","author":"Smorynski.","year":"1977"},{"key":"key\n\t\t\t\t20180618202759_B27","article-title":"Semantic paradoxes and abductive methodology.","volume-title":"Reflections on the Liar","author":"Williamson.","year":"2017"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/8\/2631\/22301648\/exx023.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T00:21:46Z","timestamp":1569457306000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/27\/8\/2631\/4079759"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,8]]},"references-count":27,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2017,8,8]]},"published-print":{"date-parts":[[2017,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx023","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2017,12]]},"published":{"date-parts":[[2017,8,8]]}}}