@article{Grilletti:19,
	abstract = {Classical first-order logic 𝙵𝙾 is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic 𝙸𝚗𝚚𝙱𝚀 is a conservative extension of 𝙵𝙾 which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for 𝙸𝚗𝚚𝙱𝚀 relative to inquisitive disjunction  and inquisitive existential quantifier ∃̄. Moreover we extend these results to several families of theories, among which the one in the language of 𝙵𝙾. To this end, we initiate a model-theoretic approach to the study of 𝙸𝚗𝚚𝙱𝚀. In particular, we develop a toolkit of basic constructions in order to transform and combine models of 𝙸𝚗𝚚𝙱𝚀.},
	author = {Grilletti, Gianluca},
	da = {2019/12/01},
	date-added = {2021-08-17 00:00:00 +0000},
	date-modified = {2021-08-17 00:00:00 +0000},
	doi = {10.1007/s11225-018-9835-3},
	id = {Grilletti2019},
	isbn = {1572-8730},
	journal = {Studia Logica},
	keywords = {inquisitive logic},
	number = {6},
	pages = {1199--1234},
	title = {Disjunction and Existence Properties in Inquisitive First-Order Logic},
	ty = {JOUR},
	url = {https://link.springer.com/article/10.1007%2Fs11225-018-9835-3},
	volume = {107},
	year = {2019},
	Bdsk-Url-1 = {https://link.springer.com/article/10.1007%2Fs11225-018-9835-3},
	Bdsk-Url-2 = {https://doi.org/10.1007/s11225-018-9835-3}}

{"_id":"BAiEnMgknqGoXqWE7","bibbaseid":"grilletti-disjunctionandexistencepropertiesininquisitivefirstorderlogic-2019","author_short":["Grilletti, G."],"bibdata":{"bibtype":"article","type":"article","abstract":"Classical first-order logic 𝙵𝙾 is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic 𝙸𝚗𝚚𝙱𝚀 is a conservative extension of 𝙵𝙾 which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for 𝙸𝚗𝚚𝙱𝚀 relative to inquisitive disjunction and inquisitive existential quantifier ∃̄. Moreover we extend these results to several families of theories, among which the one in the language of 𝙵𝙾. To this end, we initiate a model-theoretic approach to the study of 𝙸𝚗𝚚𝙱𝚀. In particular, we develop a toolkit of basic constructions in order to transform and combine models of 𝙸𝚗𝚚𝙱𝚀.","author":[{"propositions":[],"lastnames":["Grilletti"],"firstnames":["Gianluca"],"suffixes":[]}],"da":"2019/12/01","date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","doi":"10.1007/s11225-018-9835-3","id":"Grilletti:19","isbn":"1572-8730","journal":"Studia Logica","keywords":"inquisitive logic","number":"6","pages":"1199–1234","title":"Disjunction and Existence Properties in Inquisitive First-Order Logic","ty":"JOUR","url":"https://link.springer.com/article/10.1007%2Fs11225-018-9835-3","volume":"107","year":"2019","bdsk-url-1":"https://link.springer.com/article/10.1007%2Fs11225-018-9835-3","bdsk-url-2":"https://doi.org/10.1007/s11225-018-9835-3","bibtex":"@article{Grilletti:19,\n\tabstract = {Classical first-order logic 𝙵𝙾 is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic 𝙸𝚗𝚚𝙱𝚀 is a conservative extension of 𝙵𝙾 which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for 𝙸𝚗𝚚𝙱𝚀 relative to inquisitive disjunction and inquisitive existential quantifier ∃̄. Moreover we extend these results to several families of theories, among which the one in the language of 𝙵𝙾. To this end, we initiate a model-theoretic approach to the study of 𝙸𝚗𝚚𝙱𝚀. In particular, we develop a toolkit of basic constructions in order to transform and combine models of 𝙸𝚗𝚚𝙱𝚀.},\n\tauthor = {Grilletti, Gianluca},\n\tda = {2019/12/01},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tdoi = {10.1007/s11225-018-9835-3},\n\tid = {Grilletti2019},\n\tisbn = {1572-8730},\n\tjournal = {Studia Logica},\n\tkeywords = {inquisitive logic},\n\tnumber = {6},\n\tpages = {1199--1234},\n\ttitle = {Disjunction and Existence Properties in Inquisitive First-Order Logic},\n\tty = {JOUR},\n\turl = {https://link.springer.com/article/10.1007%2Fs11225-018-9835-3},\n\tvolume = {107},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://link.springer.com/article/10.1007%2Fs11225-018-9835-3},\n\tBdsk-Url-2 = {https://doi.org/10.1007/s11225-018-9835-3}}\n\n","author_short":["Grilletti, G."],"key":"Grilletti:19","bibbaseid":"grilletti-disjunctionandexistencepropertiesininquisitivefirstorderlogic-2019","role":"author","urls":{"Paper":"https://link.springer.com/article/10.1007%2Fs11225-018-9835-3"},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["disjunction","existence","properties","inquisitive","first","order","logic","grilletti"],"title":"Disjunction and Existence Properties in Inquisitive First-Order Logic","year":2019,"downloads":1}