Abstract: An approach to multi action commitments in KARO logical framework was made, and it was interpreted using Kripke style possible world semantics. In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced. The KARO was made be able to make and cancel commitments to multiple actions in a state of a particular model. The approach was interpreted in detail with Kripke style possible world semantics. The work described makes agents be able to take account of cooperation among them while planning.