It is a standard feature of norm-governed institutions that designated agents are empowered to create particular kinds of states of a airs by means of the performance of speci ed types of actions. Frequently, the states of affairs are of a normative kind, in the sense that they pertain to rights and obligations, as for instance when a Head of Department signs a purchase agreement and thereby creates an obligation on his employer to pay for goods received. We use the term institutionalised power to stand for the notion of power we here seek to explicate. Following a lead from jurisprudential discussions of legal power, we distinguish institutionalised power from permission and practical possibility. We de ne a conditional connective intended to capture the consequence relation implicit in statements of the form: according to the constraints operative in institution s, the performance of some act A by agent x counts as a means of creating state of a airs B. When combined with deontic and action logics, the new connective facilitates the analysis of a number of notions crucial to the understanding of organised interaction in institutions, such as authorisation and delegation. We conclude with some illustrations of the expressive power of the new logical language.
In REF , Jones and Sergot basically follow this approach and develop an analysis of the notion of institutionalised power by introducing a new (classical but not normal) conditional connective '') s ''.
A Formal Characterisation of Institutionalised Power
Log. J. IGPL
Log. J. IGPL
Computer Science Sociology