A Multi-Action Commitments Approach Based on Dynamic Logic

• 基于动态逻辑的多动作承诺机制