Coherence in inquisitive first-order logic. Ciardelli, I. & Grilletti, G. Annals of Pure and Applied Logic, 2022. ![Coherence in inquisitive first-order logic [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex 2 downloads Inquisitive first-order logic, InqBQ, is a conservative extension of classical first-order logic with questions. Formulas of InqBQ are interpreted with respect to information states—essentially, sets of relational structures over a common domain. It is unknown whether entailment in InqBQ is compact, and whether validities are recursively enumerable. In this paper, we study the semantic property of finite coherence: a formula of InqBQ is finitely coherent if in order to determine whether it is satisfied by a state, it suffices to check substates of a fixed finite size. We show that finite coherence has interesting implications. Most strikingly, entailment towards finitely coherent conclusions is compact. We identify a broad syntactic fragment of the language, the rex fragment, where all formulas are finitely coherent. We give a natural deduction system which is complete for InqBQ entailments with rex conclusions, showing in particular that rex validities are recursively enumerable. On the way to this result, we study approximations of InqBQ obtained by restricting to information states of a fixed cardinality. We axiomatize the finite approximations and show that, in contrast to the situation in the propositional setting, InqBQ does not coincide with the limit of its finite approximations, settling a question posed by Sano [19].
@article{CIARDELLI2022103155,
title = {Coherence in inquisitive first-order logic},
journal = {Annals of Pure and Applied Logic},
year = {2022},
issn = {0168-0072},
doi = {https://doi.org/10.1016/j.apal.2022.103155},
url = {https://www.sciencedirect.com/science/article/pii/S0168007222000707},
author = {Ivano Ciardelli and Gianluca Grilletti},
keywords = {Inquisitive logic, Coherence, Compactness, Axiomatization, Team semantics},
abstract = {Inquisitive first-order logic, InqBQ, is a conservative extension of classical first-order logic with questions. Formulas of InqBQ are interpreted with respect to information states—essentially, sets of relational structures over a common domain. It is unknown whether entailment in InqBQ is compact, and whether validities are recursively enumerable. In this paper, we study the semantic property of finite coherence: a formula of InqBQ is finitely coherent if in order to determine whether it is satisfied by a state, it suffices to check substates of a fixed finite size. We show that finite coherence has interesting implications. Most strikingly, entailment towards finitely coherent conclusions is compact. We identify a broad syntactic fragment of the language, the rex fragment, where all formulas are finitely coherent. We give a natural deduction system which is complete for InqBQ entailments with rex conclusions, showing in particular that rex validities are recursively enumerable. On the way to this result, we study approximations of InqBQ obtained by restricting to information states of a fixed cardinality. We axiomatize the finite approximations and show that, in contrast to the situation in the propositional setting, InqBQ does not coincide with the limit of its finite approximations, settling a question posed by Sano [19].}
}
Downloads: 2
{"_id":"r9R6v2YTCtEc6iWM9","bibbaseid":"ciardelli-grilletti-coherenceininquisitivefirstorderlogic-2022","author_short":["Ciardelli, I.","Grilletti, G."],"bibdata":{"bibtype":"article","type":"article","title":"Coherence in inquisitive first-order logic","journal":"Annals of Pure and Applied Logic","year":"2022","issn":"0168-0072","doi":"https://doi.org/10.1016/j.apal.2022.103155","url":"https://www.sciencedirect.com/science/article/pii/S0168007222000707","author":[{"firstnames":["Ivano"],"propositions":[],"lastnames":["Ciardelli"],"suffixes":[]},{"firstnames":["Gianluca"],"propositions":[],"lastnames":["Grilletti"],"suffixes":[]}],"keywords":"Inquisitive logic, Coherence, Compactness, Axiomatization, Team semantics","abstract":"Inquisitive first-order logic, InqBQ, is a conservative extension of classical first-order logic with questions. Formulas of InqBQ are interpreted with respect to information states—essentially, sets of relational structures over a common domain. It is unknown whether entailment in InqBQ is compact, and whether validities are recursively enumerable. In this paper, we study the semantic property of finite coherence: a formula of InqBQ is finitely coherent if in order to determine whether it is satisfied by a state, it suffices to check substates of a fixed finite size. We show that finite coherence has interesting implications. Most strikingly, entailment towards finitely coherent conclusions is compact. We identify a broad syntactic fragment of the language, the rex fragment, where all formulas are finitely coherent. We give a natural deduction system which is complete for InqBQ entailments with rex conclusions, showing in particular that rex validities are recursively enumerable. On the way to this result, we study approximations of InqBQ obtained by restricting to information states of a fixed cardinality. We axiomatize the finite approximations and show that, in contrast to the situation in the propositional setting, InqBQ does not coincide with the limit of its finite approximations, settling a question posed by Sano [19].","bibtex":"@article{CIARDELLI2022103155,\ntitle = {Coherence in inquisitive first-order logic},\njournal = {Annals of Pure and Applied Logic},\nyear = {2022},\nissn = {0168-0072},\ndoi = {https://doi.org/10.1016/j.apal.2022.103155},\nurl = {https://www.sciencedirect.com/science/article/pii/S0168007222000707},\nauthor = {Ivano Ciardelli and Gianluca Grilletti},\nkeywords = {Inquisitive logic, Coherence, Compactness, Axiomatization, Team semantics},\nabstract = {Inquisitive first-order logic, InqBQ, is a conservative extension of classical first-order logic with questions. Formulas of InqBQ are interpreted with respect to information states—essentially, sets of relational structures over a common domain. It is unknown whether entailment in InqBQ is compact, and whether validities are recursively enumerable. In this paper, we study the semantic property of finite coherence: a formula of InqBQ is finitely coherent if in order to determine whether it is satisfied by a state, it suffices to check substates of a fixed finite size. We show that finite coherence has interesting implications. Most strikingly, entailment towards finitely coherent conclusions is compact. We identify a broad syntactic fragment of the language, the rex fragment, where all formulas are finitely coherent. We give a natural deduction system which is complete for InqBQ entailments with rex conclusions, showing in particular that rex validities are recursively enumerable. On the way to this result, we study approximations of InqBQ obtained by restricting to information states of a fixed cardinality. We axiomatize the finite approximations and show that, in contrast to the situation in the propositional setting, InqBQ does not coincide with the limit of its finite approximations, settling a question posed by Sano [19].}\n}\n\n","author_short":["Ciardelli, I.","Grilletti, G."],"key":"CIARDELLI2022103155","id":"CIARDELLI2022103155","bibbaseid":"ciardelli-grilletti-coherenceininquisitivefirstorderlogic-2022","role":"author","urls":{"Paper":"https://www.sciencedirect.com/science/article/pii/S0168007222000707"},"keyword":["Inquisitive logic","Coherence","Compactness","Axiomatization","Team semantics"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"article","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic","coherence","compactness","axiomatization","team semantics"],"search_terms":["coherence","inquisitive","first","order","logic","ciardelli","grilletti"],"title":"Coherence in inquisitive first-order logic","year":2022,"downloads":2}