Claiming that cross-speaker .but. can signal correction in dialogue, we start by describing the types of corrections .but. can communicate by focusing on the Speech Act (SA) communicated in the previous turn and address the ways in which .but. can correct what is communicated.

We address whether .but. corrects the proposition, the direct SA or the discourse relation communicated in the previous turn. We will also briey address other relations signalled by cross-turn .but.. After presenting a typology of the situations .but. can correct, we will address how these corrections can be modelled in the Information State model of dialogue, motivating this work by showing how it can be used to potentially avoid misunderstandings. We wrap up by showing how the model presented here updates beliefs in the Information State representation of the dialogue and can be used to facilitate response deliberation.