On the logic of dynamic coalition formation

In order to Solve the problem of cooperation in MAS(multi-agent system), it is a familiar idea to built up a system by logic. We consider the cooperation in a dynamic environment, and then present a dynamic coalition logic (DCL) system. Furthermore, we define the steps for coalition formation. Finally, we compare DCL with other coalition logic.