Commitment and Trust in Dynamic Logic.