{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T19:17:58Z","timestamp":1767899878113,"version":"3.49.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,9,15]],"date-time":"2018-09-15T00:00:00Z","timestamp":1536969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10992-018-9482-1","type":"journal-article","created":{"date-parts":[[2018,9,16]],"date-time":"2018-09-16T08:11:35Z","timestamp":1537085495000},"page":"137-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Rethinking Revision"],"prefix":"10.1007","volume":"48","author":[{"given":"P. D.","family":"Welch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,15]]},"reference":[{"key":"9482_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BF00302340","volume":"11","author":"N Belnap","year":"1982","unstructured":"Belnap, N. (1982). Gupta\u2019s rule of revision theory of truth. Journal of Philosophical Logic, 11, 103\u2013116.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9482_CR2","doi-asserted-by":"publisher","first-page":"663","DOI":"10.2307\/2274021","volume":"51","author":"JP Burgess","year":"1986","unstructured":"Burgess, J.P. (1986). The truth is never simple. Journal of Symbolic Logic, 51 (3), 663\u2013681.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9482_CR3","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/A:1023027808400","volume":"32","author":"H Field","year":"2003","unstructured":"Field, H. (2003). A revenge-immune solution to the semantic paradoxes. Journal of Philosophical Logic, 32(3), 139\u2013177.","journal-title":"Journal of Philosophical Logic"},{"key":"9482_CR4","unstructured":"Field, H. (2008) In Beall, J.C. (Ed.), The Revenge of the Liar. Oxford: O.U.P."},{"key":"9482_CR5","first-page":"5","volume":"35","author":"RO Gandy","year":"1967","unstructured":"Gandy, R.O. (1967). Generalized recursive functionals of finite type and hierarchies of functionals. Annales de la Facult\u00e9, des Sciences de l\u2019Universit\u00e9 de Clermont-Ferrand, 35, 5\u201324.","journal-title":"Annales de la Facult\u00e9, des Sciences de l\u2019Universit\u00e9 de Clermont-Ferrand"},{"key":"9482_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00302338","volume":"11","author":"A Gupta","year":"1981","unstructured":"Gupta, A. (1981). Truth and paradox. Journal of Philosophical Logic, 11, 1\u201360.","journal-title":"Journal of Philosophical Logic"},{"key":"9482_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The revision theory of truth","author":"A Gupta","year":"1993","unstructured":"Gupta, A., & Belnap, N. (1993). The revision theory of truth. Cambridge: MIT Press."},{"issue":"2","key":"9482_CR8","doi-asserted-by":"publisher","first-page":"567","DOI":"10.2307\/2586556","volume":"65","author":"JD Hamkins","year":"2000","unstructured":"Hamkins, J.D., & Lewis, A. (2000). Infinite time Turing machines. Journal of Symbolic Logic, 65(2), 567\u2013604.","journal-title":"Journal of Symbolic Logic"},{"key":"9482_CR9","doi-asserted-by":"publisher","first-page":"479","DOI":"10.2307\/2026380","volume":"79","author":"HG Herzberger","year":"1982","unstructured":"Herzberger, H.G. (1982). Naive semantics and the Liar paradox. Journal of Philosophy, 79, 479\u2013497.","journal-title":"Journal of Philosophy"},{"key":"9482_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF00302339","volume":"11","author":"HG Herzberger","year":"1982","unstructured":"Herzberger, H.G. (1982). Notes on naive semantics. Journal of Philosophical Logic, 11, 61\u2013102.","journal-title":"Journal of Philosophical Logic"},{"key":"9482_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12898-5","volume-title":"Recursion-Theoretic Hierarchies. \u03a9 series in mathematical logic","author":"P Hinman","year":"1978","unstructured":"Hinman, P. (1978). Recursion-Theoretic Hierarchies. \u03a9 series in mathematical logic. Berlin: Springer."},{"key":"9482_CR12","doi-asserted-by":"crossref","unstructured":"Kechris, A., & Moschovakis, Y.N. (1977). Recursion in higher types. In Barwise (Ed.) Handbook of Mathematical Logic, Studies in Logic and Foundations of Mathematics, chapter C6, 681\u2013738. North-Holland, Amtserdam.","DOI":"10.1016\/S0049-237X(08)71119-4"},{"key":"9482_CR13","doi-asserted-by":"crossref","unstructured":"Kechris, A.S. (1978). On Spector classes. In Kechris, A.S., & Moschovakis, Y.N. (Eds.) Cabal Seminar 76-77, volume 689 of Lecture Notes in Mathematics Series, 245\u2013278. Springer.","DOI":"10.1007\/BFb0069303"},{"key":"9482_CR14","first-page":"23","volume":"14","author":"SC Kleene","year":"1959","unstructured":"Kleene, S.C. (1959). Quantification of number-theoretic predicates. Compositio Mathematicae, 14, 23\u201340.","journal-title":"Compositio Mathematicae"},{"key":"9482_CR15","first-page":"106","volume":"108","author":"SC Kleene","year":"1963","unstructured":"Kleene, S.C. (1963). Recursive quantifiers and functionals of finite type II. Transactions of the American Mathematical Society, 108, 106\u2013142.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9482_CR16","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s11225-005-2803-8","volume":"81","author":"K-U K\u00fchnberger","year":"2005","unstructured":"K\u00fchnberger, K.-U., L\u00f6we, B., M\u00f6llerfeld, M., Welch, P.D. (2005). Comparing inductive and circular definitions: parameters, complexity and games. Studia Logica, 81, 79\u201398.","journal-title":"Studia Logica"},{"key":"9482_CR17","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1093\/logcom\/11.1.25","volume":"11","author":"B L\u00f6we","year":"2001","unstructured":"L\u00f6we, B. (2001). Revision sequences and computers with an infinite amount of time. Journal of Logic and Computation, 11, 25\u201340.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9482_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1011946004905","volume":"68","author":"B L\u00f6we","year":"2001","unstructured":"L\u00f6we, B., & Welch, P.D. (2001). Set-theoretic absoluteness and the revision theory of truth. Studia Logica, 68(1), 21\u201341.","journal-title":"Studia Logica"},{"key":"9482_CR19","unstructured":"Moschovakis, Y.N. (1974). Elementary Induction on Abstract structures, volume 77 of Studies in Logic series. North-Holland, Amsterdam."},{"key":"9482_CR20","doi-asserted-by":"crossref","unstructured":"Moschovakis, Y.N. (2009). Descriptive Set Theory. Studies in Logic series. North-Holland, Amsterdam.","DOI":"10.1090\/surv\/155"},{"key":"9482_CR21","doi-asserted-by":"crossref","unstructured":"Soare, R.I. (1987). Recursively enumerable sets and degrees. Perspectives in mathematical logic. Springer.","DOI":"10.1007\/978-3-662-02460-7_3"},{"issue":"3","key":"9482_CR22","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.2307\/2586695","volume":"65","author":"PD Welch","year":"2000","unstructured":"Welch, P.D. (2000). Eventually Infinite Time Turing degrees: infinite time decidable reals. Journal of Symbolic Logic, 65(3), 1193\u20131203.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9482_CR23","doi-asserted-by":"publisher","first-page":"689","DOI":"10.2178\/jsl\/1052669071","volume":"68","author":"PD Welch","year":"2003","unstructured":"Welch, P.D. (2003). On revision operators. Journal of Symbolic Logic, 68(3), 689\u2013711.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9482_CR24","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1017\/S1755020308080118","volume":"1","author":"PD Welch","year":"2008","unstructured":"Welch, P.D. (2008). Ultimate truth vis \u00e0 vis stable truth. Review of Symbolic Logic, 1(1), 126\u2013142.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"9482_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1755020313000361","volume":"7","author":"PD Welch","year":"2014","unstructured":"Welch, P.D. (2014). Some observations on truth hierarchies. Review of Symbolic Logic, 7(1), 1\u201330.","journal-title":"Review of Symbolic Logic"},{"key":"9482_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195083439.001.0001","volume-title":"The liar speaks the truth. a defense of the revision theory of truth","author":"A Yaq\u016bb","year":"1993","unstructured":"Yaq\u016bb, A. (1993). The liar speaks the truth. a defense of the revision theory of truth. New York: O.U.P."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9482-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9482-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9482-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T10:55:25Z","timestamp":1720608925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9482-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,15]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["9482"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9482-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9,15]]},"assertion":[{"value":"28 October 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 March 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 September 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}