A Logic for Cooperation, Actions and Preferences
Lena Kurzen

Abstract:
The concepts of cooperation actions and preferences play central roles
in situations in which agents interact with each other. In many cases,
agents cooperate and act together as groups because as a group they
can achieve something better than they could individually.  If we want
to make explicit how agents or groups of agents can achieve certain
results, this leads us to the concept of actions, since it is by
performing actions that agents interact. Preferences are an important
concept in interactive situations because the agents make their
decisions based on the preferences they have over possible
alternatives.

In this paper, a modal logic for reasoning about cooperation, actions
and preferences of agents is developed. It is shown to be sound and
complete and the satisfiability problem of its fragment that does not
contain strict preferences is shown to be NExpTime-complete.