{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:47:21Z","timestamp":1743137241841,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399305"},{"type":"electronic","value":"9783642399312"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39931-2_9","type":"book-chapter","created":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T02:26:28Z","timestamp":1374200788000},"page":"109-124","source":"Crossref","is-referenced-by-count":0,"title":["Yablo\u2019s Paradox, a Coinductive Language and Its Semantics"],"prefix":"10.1007","author":[{"given":"Shunsuke","family":"Yatabe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"unstructured":"Aczel, P.: Non-well-founded sets. CSLI publications (1988)","key":"9_CR1"},{"unstructured":"Barwise, J., Etchemendy, J.: The Liar: An Essay in Truth and Circularity. Oxford University Press (1987)","key":"9_CR2"},{"unstructured":"Barwise, J., Moss, L.: Vicious Circles. CSLI publications (1996)","key":"9_CR3"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-58085-9_72","volume-title":"Types for Proofs and Programs","author":"T. Coquand","year":"1994","unstructured":"Coquand, T.: Infinite Objects in Type Theory. In: Barendregt, H., Nipkow, T. (eds.) TYPES 1993. LNCS, vol.\u00a0806, pp. 62\u201378. Springer, Heidelberg (1994)"},{"unstructured":"Halbach, V., Horsten, L.: The deflationist\u2019s axioms for truth. In: Beal, J.C., Armour-Garb, B. (eds.) Deflationism and Paradox. Oxford Universoty Press","key":"9_CR5"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/A:1011950105814","volume":"68","author":"H. Leitgeb","year":"2001","unstructured":"Leitgeb, H.: Theories of truth which have no standard models. Studia Logica\u00a068, 69\u201387 (2001)","journal-title":"Studia Logica"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1023\/B:JLLI.0000028335.19112.1d","volume":"13","author":"H. Leitgeb","year":"2004","unstructured":"Leitgeb, H.: Circular languages. Journal of Logic, Language and Information\u00a013, 341\u2013371 (2004)","journal-title":"Journal of Logic, Language and Information"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00649483","volume":"17","author":"V. McGee","year":"1985","unstructured":"McGee, V.: How truthlike can a predicate be? A negative result. Journal of Philosophical Logic\u00a017, 399\u2013410 (1985)","journal-title":"Journal of Philosophical Logic"},{"unstructured":"Moss, L.S.: Coalgebra and Circularity (2008) (preprint)","key":"9_CR9"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1093\/analys\/57.4.236","volume":"57","author":"G. Priest","year":"1997","unstructured":"Priest, G.: Yablo\u2019s paradox. Analysis\u00a057, 236\u2013242 (1997)","journal-title":"Analysis"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1002\/malq.200310080","volume":"50","author":"M. Viale","year":"2004","unstructured":"Viale, M.: The cumulative hierarchy and the constructible universe of ZFA. Mathematical Logic Quarterly\u00a050(1), 99\u2013103 (2004)","journal-title":"Mathematical Logic Quarterly"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"2251","DOI":"10.1093\/analys\/53.4.251","volume":"53","author":"S. Yablo","year":"1993","unstructured":"Yablo, S.: Paradox Without Self-Reference. Analysis\u00a053, 2251\u20132252 (1993)","journal-title":"Analysis"},{"unstructured":"Yablo, S.: Circularity and Paradox. In: Bolander, Hendricks, Pedersen (eds.) Self-Reference. CSLI Publications, Stanford","key":"9_CR13"},{"doi-asserted-by":"crossref","unstructured":"Yanofsky, N.S.: A Universal Approach to Self-Referential Paradoxes, Incomplete-ness and Fixed Point (2003) (preprint)","key":"9_CR14","DOI":"10.2178\/bsl\/1058448677"},{"unstructured":"Yatabe, S.: A constructive naive set theory and infinity (preprint)","key":"9_CR15"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39931-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T14:06:07Z","timestamp":1627394767000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39931-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399305","9783642399312"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39931-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}