Abstract

We review the stit semantic framework and the main stit operators that have been proposed by Belnap, Perloff and Horty , a theory that has recently attracted the attention of the multiagent community. We discuss the problem of how to model the notion of collective agency, both in the sense of a joint action of a group of agents and as the agency of collective entities, like organisations. We show how we can define the direct and immediate effects of agents’ actions, both in the achievement sense and in the deliberative sense, without any assumptions on the nature of time and considering the particular case of a discrete time. Finally, we also show how we can define a kind of dynamic logic operator that allows us to express what would obtain, if a direct “sees to it” action is performed, seeing it as a particular case of formulae of the form [a: φ]Ψ, that have the following informal meaning: “if agent a selects an action that leads to the truth of φ, after such action is performed, Ψ is the case”