A logical model of social commitment for agent communication