The interrogative model of inquiry meets dynamic epistemic logics

Synthese 192 (6):1609-1642 (2015)
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

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,094
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 - 2002 - Cambridge University Press.
The Logic of Justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.

View all 24 references / Add more references

Citations of this work BETA

Toward a Dynamic Logic of Questions.Johan van Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633-669.
Toward a Dynamic Logic of Questions.Johan Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633 - 669.

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 downloads
20 ( #287,028 of 2,241,666 )

Recent downloads (6 months)
2 ( #233,374 of 2,241,666 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature