{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:11Z","timestamp":1740098951223,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_17","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:33:31Z","timestamp":1511775211000},"page":"273-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["From Epistemic Paradox to Doxastic Arithmetic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7440-3641","authenticated-orcid":false,"given":"V. Alexis","family":"Peluce","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S Artemov","year":"2001","unstructured":"Artemov, S.: Explicit provability and constructive semantics. Bull. Symbolic Logic 7, 1\u201336 (2001)","journal-title":"Bull. Symbolic Logic"},{"key":"17_CR2","unstructured":"Artemov, S.: Knowing the model. Published online at: arXiv:1610.04955 [math.LO] (2016)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bernays, P.: On the original Gentzen proof for number theory. In: Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo, NY, 1968, vol. 60, pp. 409\u2013417 (1970)","DOI":"10.1016\/S0049-237X(08)70767-5"},{"key":"17_CR4","volume-title":"The Logic of Provability","author":"G Boolos","year":"1995","unstructured":"Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1995)"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00364686","volume":"34","author":"T Burge","year":"1978","unstructured":"Burge, T.: Buridan and epistemic paradox. Philos. Stud. Int. J. Philos. Anal. Tradit. 34, 21\u201335 (1978)","journal-title":"Philos. Stud. Int. J. Philos. Anal. Tradit."},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1215\/00318108-1426355","volume":"121","author":"M Caie","year":"2012","unstructured":"Caie, M.: Belief and indeterminacy. Philos. Rev. 121, 1\u201354 (2012)","journal-title":"Philos. Rev."},{"key":"17_CR7","unstructured":"Caie, M.: Doxastic logic. In: Weisberg, J., Pettigrew, R. (eds.) Open Handbook of Formal Epistemology (2017). Forthcoming. https:\/\/sites.google.com\/site\/caiemike\/"},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S Feferman","year":"1960","unstructured":"Feferman, S.: Arithmetization of metamathematics in a general setting. Fundamenta Mathematica 49, 35\u201392 (1960)","journal-title":"Fundamenta Mathematica"},{"key":"17_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving Truth from Paradox","author":"H Field","year":"2008","unstructured":"Field, H.: Saving Truth from Paradox. Oxford University Press, Oxford (2008)"},{"key":"17_CR10","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Holliday, W., Icard, III, T.F.: Moorean phenomena in epistemic logic. In: Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, vol. 8, pp. 178\u2013199 (2010)","DOI":"10.1017\/UPO9781844654536.014"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Green, M., Williams, J.N.: Introduction. In: Green, M., Williams, J.N. (eds.) Moore\u2019s Paradox: New Essays on Belief, Rationality, and the First Person. Oxford University Press (2007)","DOI":"10.1093\/oso\/9780199282791.001.0001"},{"key":"17_CR13","unstructured":"Moore, G.E.: Russell\u2019s theory of descriptions. In: Schilpp, P. (ed.) The Philosophy of G.E. Moore, pp. 175\u2013225 (1944)"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0049-237X(08)70138-1","volume":"118","author":"S Shapiro","year":"1985","unstructured":"Shapiro, S.: Epistemic and intuitionistic arithmetic. Stud. Logic Found. Math. 118, 11\u201346 (1985)","journal-title":"Stud. Logic Found. Math."},{"issue":"2","key":"17_CR15","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1094061859","volume":"35","author":"VY Shavrukov","year":"1994","unstructured":"Shavrukov, V.Y.: A smart child of Peano\u2019s. Notre Dame J. Formal Logic 35(2), 161\u2013185 (1994)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"2","key":"17_CR16","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1305\/ndjfl\/1093635077","volume":"30","author":"A Visser","year":"1998","unstructured":"Visser, A.: Peano\u2019s smart children: a provability logical study of systems with built-in consistency. Notre Dame J. Formal Logic 30(2), 161\u2013196 (1998)","journal-title":"Notre Dame J. Formal Logic"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T02:17:23Z","timestamp":1719627443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}