{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T02:02:39Z","timestamp":1768010559279,"version":"3.49.0"},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2015,2,3]],"date-time":"2015-02-03T00:00:00Z","timestamp":1422921600000},"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,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present an extension of the basic revision theory of circular definitions with a unary operator, \u25a1. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay\u2019s completeness theorem for<jats:italic>GL<\/jats:italic>using arithmetical interpretations. We adapt our proof to a special class of circular definitions as well as to the first-order case.<\/jats:p>","DOI":"10.1017\/s1755020314000458","type":"journal-article","created":{"date-parts":[[2015,2,3]],"date-time":"2015-02-03T06:48:01Z","timestamp":1422946081000},"page":"467-487","source":"Crossref","is-referenced-by-count":10,"title":["SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS"],"prefix":"10.1017","volume":"8","author":[{"given":"SHAWN","family":"STANDEFER","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,2,3]]},"reference":[{"key":"S1755020314000458_ref27","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":"Yaq\u016bb","year":"1993"},{"key":"S1755020314000458_ref25","unstructured":"Standefer S . (2013). Truth, semantic closure, and conditionals. PhD Thesis, University of Pittsburgh."},{"key":"S1755020314000458_ref22","doi-asserted-by":"publisher","DOI":"10.2307\/2586533"},{"key":"S1755020314000458_ref20","volume-title":"Recent Essays on Truth and the Liar Paradox","author":"Martin","year":"1984"},{"key":"S1755020314000458_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-2803-8"},{"key":"S1755020314000458_ref13","unstructured":"Gupta A. , & Standefer S . (2014). Conditionals in theories of truth. Manuscript."},{"key":"S1755020314000458_ref17","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093633907"},{"key":"S1755020314000458_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302338"},{"key":"S1755020314000458_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00249666"},{"key":"S1755020314000458_ref4","volume-title":"Modal Logic","author":"Blackburn","year":"2002"},{"key":"S1755020314000458_ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011946004905"},{"key":"S1755020314000458_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-0052-0"},{"key":"S1755020314000458_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757006"},{"key":"S1755020314000458_ref1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1305\/ndjfl\/1040609294","article-title":"The complexity of revision","volume":"35","author":"Antonelli","year":"1994","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1755020314000458_ref9","doi-asserted-by":"publisher","DOI":"10.1093\/aristotelian\/89.1.227"},{"key":"S1755020314000458_ref5","volume-title":"The Logic of Provability","author":"Boolos","year":"1993"},{"key":"S1755020314000458_ref12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The Revision Theory of Truth","author":"Gupta","year":"1993"},{"key":"S1755020314000458_ref11","volume-title":"Truth, Meaning, Experience","author":"Gupta","year":"2011"},{"key":"S1755020314000458_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s11098-004-2497-1"},{"key":"S1755020314000458_ref26","doi-asserted-by":"publisher","DOI":"10.2307\/2687753"},{"key":"S1755020314000458_ref15","first-page":"642","article-title":"Revision revisited","volume":"5","author":"Horsten","year":"2012","journal-title":"Journal of Philosophical Logic"},{"key":"S1755020314000458_ref10","first-page":"79","volume-title":"Self-Reference","author":"Gupta","year":"2006"},{"key":"S1755020314000458_ref21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011998021743"},{"key":"S1755020314000458_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9402-2"},{"key":"S1755020314000458_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302340"},{"key":"S1755020314000458_ref16","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644"},{"key":"S1755020314000458_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00302339"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020314000458","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T23:58:58Z","timestamp":1717718338000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020314000458\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,3]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["S1755020314000458"],"URL":"https:\/\/doi.org\/10.1017\/s1755020314000458","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2,3]]}}}