Notes on Formalizing Coordination

This paper concerns with 2-agents coordination games---we call them paradigms of coordination. To coordinate, agents' behaviour must eventually stabilize to a set of basic formulas that express a suitable part of agents' "nature". Four paradigms are advanced and discussed. Several new perspectives are provided to coordinating agents. Coordination via belief revision and cooperation by team work are two.