{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:22:09Z","timestamp":1776316929678,"version":"3.50.1"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T00:00:00Z","timestamp":1633564800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T00:00:00Z","timestamp":1633564800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["680220"],"award-info":[{"award-number":["680220"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Inquisitive first order logic \"Equation missing\" is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether \"Equation missing\" is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic (Ciardelli, 2016). In this paper we define the <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\mathsf {ClAnt}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mi>ClAnt<\/mml:mi>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>\u2014classical antecedent\u2014fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem for fragments of the logic.<\/jats:p>","DOI":"10.1007\/s10849-021-09341-y","type":"journal-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T04:47:15Z","timestamp":1633582035000},"page":"725-751","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1631-3648","authenticated-orcid":false,"given":"Gianluca","family":"Grilletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,7]]},"reference":[{"key":"9341_CR1","unstructured":"Ciardelli, I. (2009). Inquisitive semantics and intermediate logics. M.Sc. thesis, University of Amsterdam."},{"key":"9341_CR2","unstructured":"Ciardelli, I. (2014). Modalities in the realm of questions: Axiomatizing inquisitive epistemic logic. In R. Gor\u00e9, B. Kooi, & A. Kurucz (Eds.), Advances in Modal Logic (AiML) (pp. 94\u2013113). College Publications."},{"key":"9341_CR3","unstructured":"Ciardelli, I. (2016). Questions in logic. Institute for logic, language and computation. Ph.D. thesis, University of Amsterdam."},{"issue":"1","key":"9341_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10992-010-9142-6","volume":"40","author":"I Ciardelli","year":"2011","unstructured":"Ciardelli, I., & Roelofsen, F. (2011). Inquisitive logic. Journal of Philosophical Logic, 40(1), 55\u201394.","journal-title":"Journal of Philosophical Logic"},{"key":"9341_CR5","doi-asserted-by":"crossref","unstructured":"Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2018). Inquisitive semantics. Oxford University Press.","DOI":"10.1093\/oso\/9780198814788.001.0001"},{"key":"9341_CR6","doi-asserted-by":"crossref","unstructured":"Ciardelli, I., Iemhoff, R., & Yang, F. (2020). Questions and dependency in intuitionistic logic. Notre Dame Journal of Formal Logic, 61(1), 75\u2013115, 1.","DOI":"10.1215\/00294527-2019-0033"},{"key":"9341_CR7","doi-asserted-by":"crossref","unstructured":"Gabbay, D. (1981). Semantical investigations in Heyting\u2019s intuitionistic logic (Vol. 148). Springer.","DOI":"10.1007\/978-94-017-2977-2"},{"key":"9341_CR8","doi-asserted-by":"crossref","unstructured":"Gianluca, G., & Ivano, C. (2019). An Ehrenfeucht-Fra\u00efss\u00e9 game for inquisitive first-order logic. In A. Silva, S. Staton, P. Sutton, & C. Umbach (Eds.), Language, logic, and computation (pp. 166\u2013186). Springer.","DOI":"10.1007\/978-3-662-59565-7_9"},{"issue":"6","key":"9341_CR9","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1007\/s11225-018-9835-3","volume":"107","author":"G Grilletti","year":"2019","unstructured":"Grilletti, G. (2019). Disjunction and existence properties in inquisitive first-order logic. Studia Logica, 107(6), 1199\u20131234.","journal-title":"Studia Logica"},{"key":"9341_CR10","doi-asserted-by":"crossref","unstructured":"Groenendijk, J. (1999). The logic of interrogation. In T. Matthews & D. Strolovitch (Eds.), Semantics and linguistic theory (pp. 109\u2013126). Cornell University Press.","DOI":"10.3765\/salt.v9i0.2835"},{"key":"9341_CR11","doi-asserted-by":"crossref","unstructured":"Hodges, W. (1993). Model theory. Encyclopedia of mathematics and its applications: Cambridge University Press.","DOI":"10.1017\/CBO9780511551574"},{"key":"9341_CR12","doi-asserted-by":"crossref","unstructured":"Katsuhiko, S. (2011). First-order inquisitive pair logic. In M. Banerjee & A. Seth (Eds.), Logic and its applications (pp. 147\u2013161). Springer.","DOI":"10.1007\/978-3-642-18026-2_13"},{"issue":"3","key":"9341_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s10849-015-9219-2","volume":"24","author":"V Pun\u010doch\u00e1\u0159","year":"2015","unstructured":"Pun\u010doch\u00e1\u0159, V. (2015). Weak negation in inquisitive semantics. Journal of Logic, Language, and Information, 24(3), 323\u2013355.","journal-title":"Journal of Logic, Language, and Information"},{"issue":"2","key":"9341_CR14","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1017\/S1755020319000017","volume":"12","author":"V Pun\u010doch\u00e1\u0159","year":"2019","unstructured":"Pun\u010doch\u00e1\u0159, V. (2019). Substructural inquisitive logics. The Review of Symbolic Logic, 12(2), 296\u2013330.","journal-title":"The Review of Symbolic Logic"},{"issue":"1","key":"9341_CR15","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s11229-013-0282-4","volume":"190","author":"F Roelofsen","year":"2013","unstructured":"Roelofsen, F. (2013). Algebraic foundations for the semantic treatment of inquisitive content. Synthese, 190(1), 79\u2013102.","journal-title":"Synthese"},{"key":"9341_CR16","doi-asserted-by":"crossref","unstructured":"ten Cate, B., & Shan, C.-C. (2007). Axiomatizing Groenendijks logic of interrogation. In M. Aloni, A. Butler, & P. Dekker (Eds.), Questions in dynamic semantics (pp. 63\u201382). Elsevier.","DOI":"10.1163\/9780080470993_004"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-021-09341-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-021-09341-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-021-09341-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,8]],"date-time":"2022-03-08T14:13:31Z","timestamp":1646748811000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-021-09341-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,7]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9341"],"URL":"https:\/\/doi.org\/10.1007\/s10849-021-09341-y","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,10,7]]},"assertion":[{"value":"20 August 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 October 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 February 2022","order":3,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":4,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Open access funding note is included","order":5,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}