{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:12:50Z","timestamp":1743045170759,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030587895"},{"type":"electronic","value":"9783030587901"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-58790-1_17","type":"book-chapter","created":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T13:02:20Z","timestamp":1600002140000},"page":"258-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Semantic Concept of Logical Consequence"],"prefix":"10.1007","author":[{"given":"Hidenori","family":"Kurokawa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,11]]},"reference":[{"key":"17_CR1","unstructured":"Bernays, P.: Schematic korrespondenz und die idealisierten strukturen (English translation: schematic correspondence and idealized structures, bernays project). Dialectica, pp. 14\u201325 (1970). www.phil.cmu.edu\/projects\/bernays\/"},{"issue":"16","key":"17_CR2","doi-asserted-by":"publisher","first-page":"509","DOI":"10.2307\/2025179","volume":"72","author":"G Boolos","year":"1975","unstructured":"Boolos, G.: On second-order logic. J. Philos. 72(16), 509\u2013527 (1975)","journal-title":"J. Philos."},{"issue":"3","key":"17_CR3","doi-asserted-by":"publisher","first-page":"327","DOI":"10.2307\/2185003","volume":"94","author":"G Boolos","year":"1985","unstructured":"Boolos, G.: Nominalist platonism. Philos. Rev. 94(3), 327\u2013344 (1985)","journal-title":"Philos. Rev."},{"key":"17_CR4","volume-title":"Formalization of Logic","author":"R Carnap","year":"1943","unstructured":"Carnap, R.: Formalization of Logic. H. U. Press, Cambridge (1943)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Chihara, C.: Tarski\u2019s thesis and the ontology of mathematics. In: Schirn, M. (ed.) The Philosophy of Mathematics Today, pp. 157\u2013172. Clarendon Press (1998)","DOI":"10.1093\/oso\/9780198236542.003.0006"},{"issue":"2","key":"17_CR6","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1080\/01445340.2015.1028610","volume":"37","author":"G Eder","year":"2016","unstructured":"Eder, G.: Boolos and the metamathematics of quine\u2019s definitions of logical truth and consequence. Hist. Philos. Log. 37(2), 170\u2013193 (2016)","journal-title":"Hist. Philos. Log."},{"key":"17_CR7","unstructured":"Etchemendy, J.: The Concept of Logical Consequence. HUP (1990)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1093\/acprof:oso\/9780199296309.003.0011","volume-title":"New Essays on Tarski and Philosophy","author":"J Etchemendy","year":"2008","unstructured":"Etchemendy, J.: Reflections on consequence. In: Patterson, D. (ed.) New Essays on Tarski and Philosophy, pp. 263\u2013299. Oxford University Press, Oxford (2008)"},{"key":"17_CR9","volume-title":"Foundations of Logical Consequence","author":"H Field","year":"2015","unstructured":"Field, H.: What is logical validity? In: Caret, C.R., Hjortland, O.T. (eds.) Foundations of Logical Consequence. Oxford University Press, Oxford (2015)"},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1305\/ndjfl\/1093634568","volume":"34","author":"S Garc\u00eda-Carpintero","year":"1993","unstructured":"Garc\u00eda-Carpintero, S.: The grounds for the model-theoretic account of the logical properties. Notre Dame J. Form. Log. 34(1), 107\u2013131 (1993)","journal-title":"Notre Dame J. Form. Log."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Glanzberg, M.: Logical consequence and natural language. In: Caret, C., Hjortland, O. (ed.) Foundations of Logical Consequence, pp. 71\u2013120. OUP (2015)","DOI":"10.1093\/acprof:oso\/9780198715696.003.0003"},{"issue":"3","key":"17_CR12","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1023\/A:1005165824990","volume":"117","author":"M G\u00f3mez-Torrente","year":"1998","unstructured":"G\u00f3mez-Torrente, M.: Logical truth and Tarskian logical truth. Synthese 117(3), 375\u2013408 (1998)","journal-title":"Synthese"},{"key":"17_CR13","doi-asserted-by":"publisher","unstructured":"Hanson, W.H.: The concept of logical consequence. Philos. Rev. 106 (1997). https:\/\/doi.org\/10.2307\/2998398","DOI":"10.2307\/2998398"},{"key":"17_CR14","volume-title":"Problems in the philosophy of mathematics","author":"G Kreisel","year":"1967","unstructured":"Kreisel, G.: Informal Rigour and completeness proofs. In: Lakatos, I. (ed.) Problems in the philosophy of mathematics. North Holland, Amsterdam (1967)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Kreisel, G.: What have we learnt from Hilbert\u2019s second problem? In: Mathematical developments arising from Hilbert problems (Proceedings of Symposia in Pure Mathematics). AMS (1976)","DOI":"10.1090\/pspum\/028.1\/0434781"},{"key":"17_CR16","unstructured":"MacFarlane, M.: What is modeled by truth in all models? (2000). Unpublished preprint presented at the 2000 Pacific Division APA"},{"issue":"1","key":"17_CR17","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1093\/aristotelian\/92.1.273","volume":"92","author":"V McGee","year":"1992","unstructured":"McGee, V.: Two problems with Tarski\u2019s theory of consequence. Proc. Aristot. Soc. 92(1), 273\u2013292 (1992)","journal-title":"Proc. Aristot. Soc."},{"key":"17_CR18","first-page":"153","volume":"2","author":"C Parsons","year":"2013","unstructured":"Parsons, C.: Some consequences of the entanglement of logic and mathematics. Ref. Rat. Phenomenol. 2, 153\u2013178 (2013)","journal-title":"Ref. Rat. Phenomenol."},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BF00486044","volume":"62","author":"D Prawitz","year":"1985","unstructured":"Prawitz, D.: Remarks on some approaches to the concept of logical consequence. Synthese 62, 153\u2013171 (1985)","journal-title":"Synthese"},{"key":"17_CR20","doi-asserted-by":"crossref","DOI":"10.4159\/9780674042445","volume-title":"Philosophy of Logic","author":"W Quine","year":"1986","unstructured":"Quine, W.: Philosophy of Logic, 2nd edn. Harvard University Press, Cambridge (1986)","edition":"2"},{"issue":"3","key":"17_CR21","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01048482","volume":"23","author":"S Read","year":"1994","unstructured":"Read, S.: Formal and material consequence. J. Philos. Log. 23(3), 247\u2013265 (1994)","journal-title":"J. Philos. Log."},{"issue":"3","key":"17_CR22","doi-asserted-by":"publisher","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2000","unstructured":"Sambin, G., Battilotti, G., Faggian, C.: Basic logic: reflection, symmetry, visibility. J. Symb. Log. 65(3), 979\u20131013 (2000)","journal-title":"J. Symb. Log."},{"key":"17_CR23","first-page":"77","volume":"6","author":"G Schurz","year":"1999","unstructured":"Schurz, G.: Tarski and Carnap on logical truth: or: what is genuine logic? Vienna Circ. Inst. Yearb. 6, 77\u201394 (1999)","journal-title":"Vienna Circ. Inst. Yearb."},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Shapiro, S.: Logical consequence: models and modality. In: Schirn, M. (ed.) The Philosophy of Mathematics Today, pp. 131\u2013156. Clarendon Press (1998)","DOI":"10.1093\/oso\/9780198236542.003.0005"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Shapiro, S.: Logical consequence, proof theory, and model theory. In: Oxford Handbook of Philosophy of Mathematics and Logic (2005)","DOI":"10.1093\/0195148770.003.0021"},{"key":"17_CR26","volume-title":"Understanding Truth","author":"S Soames","year":"1998","unstructured":"Soames, S.: Understanding Truth. Oxford University Press, Oxford (1998)"},{"issue":"3","key":"17_CR27","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1080\/0144534021000036683","volume":"23","author":"A Tarski","year":"2002","unstructured":"Tarski, A.: On the concept of following logically translated by Magda Stroinska and David Hitchcock. Hist. Philos. Log. 23(3), 155\u2013196 (2002)","journal-title":"Hist. Philos. Log."},{"key":"17_CR28","unstructured":"Zimmermann, T.: Model-theoretic semantics. In: Heusinger, K.v., C.M., Portner, P. (eds.) Handbook of Semantics, vol. 1, pp. 762\u2013802. De Gruyter (2011)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58790-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T18:47:43Z","timestamp":1723574863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-58790-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030587895","9783030587901"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58790-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"11 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JSAI-isAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"JSAI International Symposium on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Yokohama","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jsai2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ai-gakkai.or.jp\/isai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"57% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}