“…This connection between higher order knowledge and timing has been extensively studied in the computer science literature; see Halpern and Moses (1990), chapter 8 of Fagin, Halpern, Moses, and Vardi (1995) and references therein. Recent work in the computer science literature, Ben-Zvi and and Gonczarowski and Moses (2013), like Dasgupta, Steiner, and Stewart (2012), examines how changing the degree of synchronicity of coordination required changes the higher order knowledge requirements. 5 6 The formal model is presented in Section 2.…”