This paper introduces a formal model of dialogue based on insights and ideas developed by Jonathan Ginzburg. This model, which is logic based, takes advantage of inquisitive semantics, 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 mechanism based on a type-theoretic dynamic logic.