 Boolean games have been extensively studied in the field of multi-agent systems, as simple and compact models to represent strategic interaction in a logic-based setting (Dunne &amp; Hoek 2004; Dunne &amp; Wooldridge 2012; Dunne, Hoek, Kraus, &amp; Wooldridge 2008).