Dialogue Acts and Updates for Semantic Coordination

This paper outlines an account of semantic coordination, focusing on word meaning negotiation, formalised in Type Theory with Records (TTR). The account combines parts of two dialogue act taxonomies related to semantic coordination, and relate these to meaning updates both on an abstract level and at a more detailed level.