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.
The formalization of legislation and the development of computer systems to assist with legal problem solving provide a rich domain for developing and testing artificial-intelligence technology.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.