A Logical Model of Social Commitment for Agent Communication