 Gaming and mechanism design Game design is a well-known aspect in the area of gaming (Rouse 2000). Likewise, mechanism design is an established topic in game theory (Nisan &amp; Ronen 2001; Osborne &amp; Rubinstein 1994). For connections between between logic, game design and planning, see (Löwe, Pacuit, &amp; Witzel 2011; Löwe 2008).