Subproject 1: Modality in Language
==============================
Main achievements:
------------------------
- A new general notion of modal operators, which encompasses both "believe"-type modals and "wonder"-type modals, and a general semantic explanation for the fact that these modals only take one type of complement, declarative or interrogative (Theiler et al, 2019).
- A new treatment of 'hybrid' modal expressions like "know", which take both declarative and interrogative complements (Theiler et al, 2018).
- Experimental evidence that counterfactual conditionals are sensitive to the inquisitive content of their antecedent (Ciardelli et al, 2018).
- A new theory of distributive ignorance inferences with "believe" and "wonder" (Cremers et al, 2019).
Main output:
---------------
A uniform semantics for declarative and interrogative complements.
Nadine Theiler, Floris Roelofsen, and Maria Aloni. Journal of Semantics 35(3), pp. 409–466, 2018.
Picky predicates: why "believe" doesn't like interrogative complements, and other puzzles
Nadine Theiler, Floris Roelofsen, and Maria Aloni. Natural Language Semantics 27, pp. 95–134, 2019.
Distributive ignorance inferences with "wonder" and "believe"
Alexandre Cremers, Floris Roelofsen, and Wataru Uegaki. Semantics and Pragmatics 12(5), 2019.
Two switches in the theory of counterfactuals
Ivano Ciardelli, Linmin Zhang and Lucas Champollion. Linguistics and Philosophy 41(6), pp. 577–621, 2018.
Subproject 2: Quantification in Language
===================================
Main achievements:
------------------------
- Experimental investigation and theoretical analyis of numeral quantifiers (Cremers et al, 2021).
- Experimental investigation of quantifiers in questions (van Gessel and Cremers, 2021) and theoretical analysis (Qing and Roelofsen, 2021).
- Empirical and theoretical analysis of "quexistentials": words that can serve both as existential quantifiers and question words (Hengeveld et al, 2021).
- New theory of the distribution and interpretation of polarity-sensitive quantifiers in questions (Roelofsen, 2018).
Main output:
---------------
Ignorance implicatures of modified numerals
Alexandre Cremers, Liz Coppock, Jakub Dotlacil, and Floris Roelofsen. Linguistics and Philosophy, Online First 2021.
Testing the distribution of pair-list questions with quantifiers
Thom van Gessel and Alexandre Cremers. Sinn und Bedeutung 25, pp. 841-855, 2021.
Quantifier scope in questions
Ciyang Qing and Floris Roelofsen. To appear in the proceedings of Sinn und Bedeutung 26.
Quexistentials and focus
Kees Hengeveld, Sabine Iatridou, and Floris Roelofsen. Linguistic Inquiry, Online First 2021.
NPIs in questions
Floris Roelofsen. Colloquium at NYU, 2018.
Subproject 3: Quantification in Logic
================================
Main achievements:
------------------------
- Model-theoretic analysis of first-order inquisitive logic (Grilletti 2019).
- Axiomitization of an important fragment of the logic (Grilletti 2021).
- Analysis of the expressive power of the logic (Ciardelli and Grilletti, 2021).
- Conceptual foundations for inquisitive logic (Ciardelli 2018).
Main output:
---------------
Disjunction and Existence Properties in Inquisitive First-Order Logic
Gianluca Grilletti, Studia Logica 107, 1199–1234, 2019.
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
Gianluca Grilletti, Journal of Logic, Language and Information 30, 725-751, 2021
Games and cardinalities in inquisitive first-order logic
Gianluca Grilletti and Ivano Ciardelli. Review of Symbolic Logic, Online First 2021.
Questions as information types
Ivano Ciardelli. Synthese 195(1), 321–365, 2018.
Subproject 4: Modality in Logic
===========================
Main achievements:
------------------------
- Integration of inquisitive dynamic epistemic logic with action model logic (van Gessel 2018).
- A proof system for inquisitive dynamic epistemic logic (Ciardelli 2017).
- Model theory for inquisitive modal logic (Ciardelli and Otto 2017).
- Two-dimensional inquisitive logic (van Gessel 2020).
Main output:
---------------
Action models in inquisitive logic
Thom van Gessel. Synthese 197, 3905–3945, 2018.
The dynamic logic of stating and asking: A study of inquisitive dynamic modalities
Ivano Ciardelli. Logics of Rationality and Interaction, 2017.
Bisimulation in inquisitive modal logic
Ivano Ciardelli and Martin Otto. Proceedings of TARK, 2017.
Questions in context
Thom van Gessel. PhD thesis, 2020.
Synthesis and broader repercussions
===============================
Main achievements:
------------------------
- Survey monograph on inquisitive logic (Ciardelli 2021).
- Practical application in sign language translation (Roelofsen et al 2021).
- Placement of all junior researchers in excellent academic institutions (in Munich, Edinburgh, Paris, and Amsterdam)
- Successful application for two follow-up grants.
Output:
---------
Questions in logic
Ivano Ciardelli. To appear with Springer.
Sign Language Translation in a Healthcare Setting
Floris Roelofsen, Lyke Esselink, Shani Mende-Gillings, Anika Smeijers. Translation and Interpreting Technology, 110–124, 2021.
