A logical approach to the dynamics of commitments door