Coordination: A model-theoretic perspective

A learning to coordinate paradigm was first introduced in Formal Learning Theory by (Montagna & Osherson, 1999) using the tools of recursion theory. In this paper, we advance and discuss a first-order paradigm of coordination - we call this paradigm of model-coordination. The paradigm is shown to extend Montagna and Osherson's binary players coordinate and if and only if their first-order equivalent agents model-coordinate. An important difference between or paradigm and the proposed by (Montagna & Osherson, 1999) is that in our paradigm agents' preferences and beliefs can be modelled