The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between coalitionally optimal and socially optimal choices. Norms are seen as social constructions that enable to enforce socially desirable outcomes. a This paper has been presented at… (More)
The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both… (More)
Strategic reasoning representation is a key issue in the theoretical study and the implementation of Multi Agent System. To this purpose a language is developed that can explicitly describe the dynamics of strategies, the preferences and their interaction. The relation with Pauly's Coalition Logic is studied and a full reduction is shown, together with the… (More)
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with Dynamic Epistemic Logic and we apply it to reason about game theoretical notions like undominated choice.