Studia Logica 107 (6):1199-1234 (2019)

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 Open image in new window 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 \.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-018-9835-3
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,163
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Compositional Semantics for a Language of Imperfect Information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
A Shorter Model Theory.Wilfrid Hodges - 1997 - Studia Logica 64 (1):133-134.
Questions as Information Types.Ivano Ciardelli - 2018 - Synthese 195 (1):321-365.
Propositional Logics of Dependence.Fan Yang & Jouko Väänänen - 2016 - Annals of Pure and Applied Logic 167 (7):557-589.

View all 6 references / Add more references

Citations of this work BETA

Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.Gianluca Grilletti - 2021 - Journal of Logic, Language and Information 30 (4):725-751.
Coherence in Inquisitive First-Order Logic.Ivano Ciardelli & Gianluca Grilletti - 2022 - Annals of Pure and Applied Logic 173 (9):103155.
Questions in Two-Dimensional Logic.Thom van Gessel - forthcoming - Review of Symbolic Logic:1-21.

Add more citations

Similar books and articles

A Generalization of Inquisitive Semantics.Vít Punčochář - 2016 - Journal of Philosophical Logic 45 (4):399-428.
Weak Negation in Inquisitive Semantics.Vít Punčochář - 2015 - Journal of Logic, Language and Information 24 (3):323-355.
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.
Focus and Uninformativity in Yucatec Maya Questions.Scott AnderBois - 2012 - Natural Language Semantics 20 (4):349-390.
On the Derivability of Instantiation Properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.


Added to PP index

Total views
17 ( #636,188 of 2,507,013 )

Recent downloads (6 months)
1 ( #417,155 of 2,507,013 )

How can I increase my downloads?


My notes