 For a complete list of reduction laws, as well as open problems in this dynamic game logic see Pauly (2001), van Benthem (2014). For other styles of game algebra, including also forms of parallel composition, cf. Abramsky (1997).