Boolean games have been developed as a paradigm for modelling societies of goal-
directed agents. In boolean games agents exercise control over propositional variables and
strive to achieve a goal formula whose realization might require the opponents' cooperation.
The presence of agents that are goal-directed makes it difficult for an external authority to be
able to remove undesirable properties that are inconsistent with agents' goals, as shown by
recent contributions in the multi-agent literature. What this paper does is to analyse the …

Artificial agents are typically oriented to the realization of an externally assigned task and try
to optimize over secondary aspects of plan execution such time lapse or power
consumption, technically displaying a quasi-dichotomous preference relation. Boolean
games have been developed as a paradigm for modelling societies of agents with this type
of preference. In boolean games agents exercise control over propositional variables and
strive to achieve a goal formula whose realization might require the opponents' cooperation …