Rosja Mastop

Learn More
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. aThis paper has been presented at(More)
There are three different ways in which nondeclaratives have been integrated into formal theories of meaning. These are: the performative analysis, which treats them as explicit or modal performatives and attempts to reduce them to statements; the parametric analysis, distinguishing a sentence type expression M from a ‘sentence radical’ p, together forming(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)