Formal handling of threats and rewards in a negotiation dialogue