On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach

This paper introduces a formal model of dialogue based on insights and ideas developed by Jonathan Ginzburg in [11]. This model, which is logic based, takes advantage of inquisitive semantics [4], which allows to model both declarative and interrogative sentences in a uniform way. It appeals to ideas derived from classical epistemic logic in order to model the knowledge states of the dialogue participants, and includes a context-updating mechanisms based on the type-theoretic dynamic logic developed in [15].