Actions, institutions, powers: Preliminary notes
Guido Governatori, Jonathan Gelati, Antonino Rotolo, Giovanni Sartor · 2002
In this paper we analyse some logical notions relevant for representing the dynamics of institutionalised organisations. In particular, some well-known action concepts introduced in the Kanger-Lindahl-Porn logical theory of agency are discussed and integrated. Secondly, moving from the work of Jones and Sergot, a logical characterisation is provided of the ideas of institutional links, counts-as connections, and institutional facts. This approach is then enriched by a new modal operator $proc$, intended to account for the autonomous and decentralised creation of new institutional facts and normative positions within institutions.