{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T01:17:01Z","timestamp":1648689421388},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,4,22]],"date-time":"2011-04-22T00:00:00Z","timestamp":1303430400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s11229-011-9903-y","type":"journal-article","created":{"date-parts":[[2011,4,21]],"date-time":"2011-04-21T04:26:49Z","timestamp":1303360009000},"page":"821-832","source":"Crossref","is-referenced-by-count":3,"title":["Between proof and truth"],"prefix":"10.1007","volume":"187","author":[{"given":"Julien","family":"Boyer","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Sandu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,4,22]]},"reference":[{"issue":"2","key":"9903_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.4000\/philosophiascientiae.567","volume":"8","author":"D. Bonnay","year":"2004","unstructured":"Bonnay D. (2004) Preuves et jeux s\u00e9mantiques. Philosophia Scientiae 8(2): 105\u2013123","journal-title":"Philosophia Scientiae"},{"issue":"1","key":"9903_CR2","doi-asserted-by":"crossref","first-page":"325","DOI":"10.2307\/2275524","volume":"60","author":"T. Coquand","year":"1995","unstructured":"Coquand T. (1995) A semantics of evidence for classical arithmetic. Journal of Symbolic Logic 60(1): 325\u2013337","journal-title":"Journal of Symbolic Logic"},{"key":"9903_CR3","unstructured":"Dummett, M. (1978a). The philosophical basis of intuitionistic logic. In Truth and other enigmas London: Duckworth."},{"key":"9903_CR4","unstructured":"Dummett, M. (1978b). The philosophical significance of G\u00f6del\u2019s theorem. In Truth and other enigmas, London: Duckworth."},{"key":"9903_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624919","volume-title":"The principles of mathematics revisited","author":"J. Hintikka","year":"1996","unstructured":"Hintikka J. (1996) The principles of mathematics revisited. Cambridge University Press, Boston"},{"key":"9903_CR6","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0304-3975(02)00776-4","volume":"308","author":"J. L. Krivine","year":"2003","unstructured":"Krivine J. L. (2003) Dependent choice, \u2018quote\u2019 and the clock. Theoretical Computer Science 308: 259\u2013276","journal-title":"Theoretical Computer Science"},{"key":"9903_CR7","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1093\/philmat\/nkm015","volume":"15","author":"P. Milne","year":"2007","unstructured":"Milne P. (2007) On G\u00f6del sentences and what they say. Philosophia Mathematica, III 15: 193\u2013226","journal-title":"Philosophia Mathematica, III"},{"issue":"443","key":"9903_CR8","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1093\/mind\/111.443.551","volume":"111","author":"N. Tennant","year":"2002","unstructured":"Tennant N. (2002) Deflationism and the G\u00f6del phenonmena. Mind 111(443): 551\u2013582","journal-title":"Mind"},{"key":"9903_CR9","unstructured":"van Benthem, J. (2001). Logic in games, Lecture notes. Amsterdam: ILLC."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9903-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-011-9903-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9903-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:36:49Z","timestamp":1559371009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-9903-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,22]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9903"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-9903-y","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,22]]}}}