Synthese 192 (6):1609-1642 (2015)

Yacin Hamami
Vrije Universiteit Brussel
The Interrogative Model of Inquiry and Dynamic Epistemic Logics are two central paradigms in formal epistemology. This paper is motivated by the observation of a significant complementarity between them: on the one hand, the IMI provides a framework for investigating inquiry represented as an idealized game between an Inquirer and Nature, along with an account of the interaction between questions and inferences in information-seeking processes, but is lacking a formulation in the multi-agent case; on the other hand, DELs model various operations of information change in multi-agent systems, but the field is lacking a proper integration of question and inference dynamics, along with an application to the investigation of inquiry processes. The goal of this paper is to integrate the two paradigms in such a way as to combine their respective insights. To this end, we develop a formal system called DEL $$_\mathrm{IMI }$$ IMI which aims to represent the interaction between question and inference dynamics in inquiry—as described by the IMI—in a multi-agent setting, and this in such a way as to enable an investigation of inquiry games with multi-agent dimensions. The DEL $$_\mathrm{IMI }$$ IMI system is designed to represent the possible moves of such inquiry games through three types of epistemic actions: agents addressing questions to Nature, agents addressing questions to other agents, agents drawing logical inferences. We then show how the resulting framework can be used to formally define multi-agent inquiry games. We conclude by evaluating the interest of the DEL $$_\mathrm{IMI }$$ IMI system for the IMI and DELs paradigms
Keywords Interrogative model of inquiry  Dynamic epistemic logics   Question  Inference  Multi-agent inquiry games
Categories (categorize this paper)
DOI 10.1007/s11229-014-0460-z
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: 71,489
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

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 34 references / Add more references

Citations of this work BETA

Truth-Seeking by Abduction.Ilkka Niiniluoto - 2018 - Cham, Switzerland: Springer.
Toward a Dynamic Logic of Questions.Johan van Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633-669.
Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.
Toward a Dynamic Logic of Questions.Johan Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633 - 669.
The Dynamic Logic of Stating and Asking.Ivano Ciardelli - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction. LORI 2017. Springer. pp. 240-255.

View all 8 citations / Add more citations

Similar books and articles

The Fallacy of Fallacies.Jaakko Hintikka - 1987 - Argumentation 1 (3):211-238.
An Interrogative Model of Inquiry.Stephen Raymond Harris - 1990 - Dissertation, The Florida State University
The Restructuring of Communication Inquiry.Se-wen Sun - 1993 - Dissertation, The University of Wisconsin - Madison


Added to PP index

Total views
44 ( #259,443 of 2,520,788 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,788 )

How can I increase my downloads?


My notes