International audienceThis paper introduces a formal model of dialogue based on insightsand ideas developed by Jonathan Ginzburg in [11]. This model, which is logicbased, takes advantage of inquisitive semantics [4], which allows to model bothdeclarative and interrogative sentences in a uniform way. It appeals to ideas de-rived from classical epistemic logic in order to model the knowledge states of thedialogue participants, and includes a context-updating mechanisms based on thetype-theoretic dynamic logic developed in [15
