{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T17:37:59Z","timestamp":1782927479946,"version":"3.54.5"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,10,3]],"date-time":"2021-10-03T00:00:00Z","timestamp":1633219200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,10,3]],"date-time":"2021-10-03T00:00:00Z","timestamp":1633219200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10849-021-09344-9","type":"journal-article","created":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T21:51:15Z","timestamp":1633384275000},"page":"805-817","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Non-deterministic Logic of Informal Provability has no Finite Characterization"],"prefix":"10.1007","volume":"30","author":[{"given":"Pawel","family":"Pawlowski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,10,3]]},"reference":[{"key":"9344_CR1","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s11225-010-9280-4","volume":"96","author":"M Antonutti Marfori","year":"2010","unstructured":"Antonutti Marfori, M. (2010). Informal proofs and mathematical rigour. Studia Logica, 96, 261\u2013272.","journal-title":"Studia Logica"},{"key":"9344_CR2","doi-asserted-by":"crossref","unstructured":"Avron, A., & Zamanski, A. (2011). Non-deterministic semantics for logical systems. In Gabbay, & Guenthner, (Eds.), Handbook of philosophical logic, (Vol 160). Springer.","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"9344_CR3","doi-asserted-by":"crossref","unstructured":"Avron, A., & Lev, I. (2001). Canonical propositional gentzen-type systems. In Automated reasoning: first international joint conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science), (pp. 529\u2013544). Springer-Verlag.","DOI":"10.1007\/3-540-45744-5_45"},{"issue":"3","key":"9344_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A Avron","year":"2005","unstructured":"Avron, A., & Lev, I. (2005). Non-deterministic multiple-valued structures. Journal of Logic and Computation, 15(3), 241\u2013261.","journal-title":"Journal of Logic and Computation"},{"key":"9344_CR5","doi-asserted-by":"crossref","unstructured":"Blackburn, P. (2001). Modal logic. Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"key":"9344_CR6","doi-asserted-by":"crossref","unstructured":"Chellas, B. (1980). Modal logic\u00c3: an introduction. Cambridge University Press.","DOI":"10.1017\/CBO9780511621192"},{"key":"9344_CR7","doi-asserted-by":"crossref","unstructured":"Coniglio, M. E., & Peron, N. M. (2014). Dugundji\u2019s theorem revisited. Logica Universalis, 8(3\u20134), 407\u2013422.","DOI":"10.1007\/s11787-014-0106-4"},{"key":"9344_CR8","doi-asserted-by":"crossref","unstructured":"Dugundji, J. (1940). Note on a property of matrices for lewis and langford\u2019s calculi of propositions. Journal of Symbolic Logic, 5(4), 150\u2013151.","DOI":"10.2307\/2268175"},{"issue":"1","key":"9344_CR9","doi-asserted-by":"publisher","first-page":"192","DOI":"10.2307\/2274102","volume":"49","author":"ND Goodman","year":"1984","unstructured":"Goodman, N. D. (1984). Epistemic arithmetic is a conservative extension of intuitionistic arithmetic. Journal of Symbolic Logic, 49(1), 192\u2013203.","journal-title":"Journal of Symbolic Logic"},{"key":"9344_CR10","doi-asserted-by":"publisher","first-page":"788","DOI":"10.2307\/2275785","volume":"61","author":"L Horsten","year":"1996","unstructured":"Horsten, L. (1996). Reflecting in epistemic arithemtic. The Journal of Symbolic Logic, 61, 788\u2013801.","journal-title":"The Journal of Symbolic Logic"},{"issue":"6","key":"9344_CR11","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1023\/A:1017954806119","volume":"26","author":"L Horsten","year":"1997","unstructured":"Horsten, L. (1997). Provability in principle and controversial constructivistic principles. Journal of Philosophical Logic, 26(6), 635\u2013660.","journal-title":"Journal of Philosophical Logic"},{"key":"9344_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1005016405987","volume":"116","author":"L Horsten","year":"1998","unstructured":"Horsten, L. (1998). In defence of epistemic arithmetic. Synthese, 116, 1\u201325.","journal-title":"Synthese"},{"key":"9344_CR13","doi-asserted-by":"crossref","unstructured":"Koellner, P. (2016). G\u00f6del\u2019s disjunction. In L. Horsten & P. Welch (Eds.), G\u00f6del\u2019s disjunction: the scope and limits of mathematical knowledge. Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780198759591.003.0007"},{"issue":"19","key":"9344_CR14","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"SA Kripke","year":"1975","unstructured":"Kripke, S. A. (1975). Outline of a theory of truth. Journal of Philosophy, 72(19), 690\u2013716.","journal-title":"Journal of Philosophy"},{"key":"9344_CR15","doi-asserted-by":"crossref","unstructured":"Leitgeb, H. (2009). On formal and informal provability. In New Waves in Philosophy of Mathematics, (pp. 263\u2013299). Palgrave Macmillan.","DOI":"10.1057\/9780230245198_13"},{"key":"9344_CR16","doi-asserted-by":"crossref","unstructured":"Pawlowski, P., & Urbaniak, R. (2017). Many-valued logic of informal provability: a non-deterministic strategy [accepted and forthcoming]. The Review of Symbolic Logic.","DOI":"10.1017\/S1755020317000363"},{"issue":"1","key":"9344_CR17","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/philmat\/7.1.5","volume":"7","author":"Y Rav","year":"1999","unstructured":"Rav, Y. (1999). Why do we prove theorems? Philosophia Mathematica, 7(1), 5\u201341.","journal-title":"Philosophia Mathematica"},{"key":"9344_CR18","doi-asserted-by":"crossref","unstructured":"Rav, Y. (2007). A critique of a formalist-mechanist version of the justification of arguments in mathematicians\u2019 proof practices. Philosophia Mathematica, 15(3), 291\u2013320.","DOI":"10.1093\/philmat\/nkm023"},{"key":"9344_CR19","doi-asserted-by":"crossref","unstructured":"Reinhardt, W. N. (1986). Epistemic theories and the interpretation of G\u00f6del\u2019s incompleteness theorems. Journal of Philosophical Logic, 15(4), 427\u201374.","DOI":"10.1007\/BF00243392"},{"key":"9344_CR20","doi-asserted-by":"crossref","unstructured":"Shapiro, S. (1985). Epistemic and intuitionistic arithemtic. In Intensional mathematics: North Holland.","DOI":"10.1016\/S0049-237X(08)70138-1"},{"key":"9344_CR21","doi-asserted-by":"crossref","unstructured":"Solovay, R. (1976). Provability interpretations of modal logic. Israel Journal of Mathematics, 25.","DOI":"10.1007\/BF02757006"},{"issue":"3","key":"9344_CR22","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1093\/philmat\/nkv008","volume":"23","author":"F Tanswell","year":"2015","unstructured":"Tanswell, F. (2015). A problem with the dependence of informal proofs on formal proofs. Philosophia Mathematica, 23(3), 295\u2013310.","journal-title":"Philosophia Mathematica"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-021-09344-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-021-09344-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-021-09344-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T12:05:52Z","timestamp":1634817952000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-021-09344-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,3]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9344"],"URL":"https:\/\/doi.org\/10.1007\/s10849-021-09344-9","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,3]]},"assertion":[{"value":"14 September 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 October 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}