The Logic of Commitment