 Further well-known logical approaches to parallel action employ STIT logic (Horty &amp; Belnap 1995; Broersen 2009), and temporal logics such as ATL (Alur, Henzinger, &amp; Kupferman 2002) or its epistemic variant ATEL (van der Hoek &amp; Wooldridge 2003).