A dynamic logic of interrogative inquiry

We propose a dynamic-epistemic analysis of the different epistemic operations constitutive of the process of interrogative inquiry, as described by Hintikka’s Interrogative Model of Inquiry (IMI). We develop a dynamic logic of questions for representing interrogative steps, based on Hintikka’s treatment of questions in the IMI, along with a dynamic logic of inferences for representing deductive steps, based on the tableau method. We then merge these two systems into a dynamic logic of interrogative inquiry which articulates a joint treatment of questions and inferences, providing thereby a unified framework representing the informational dynamics of interrogative inquiry. We provide sound and complete axiomatic systems for the three dynamic logics that we introduce, we compare our framework with existing approaches, and we finally propose several directions for further work.