A logical account of institutions: from acceptances to norms via legislators

International audienceThe aim of this article is to provide a logic which supports reasoning about institutional dynamics. In our approach an institution is grounded on the acceptances of its members, and its dynamics depend on the dynamics of these acceptances. We describe the power of the role legislator to create and modify the legal level of an institution. We will also provide an analysis of two important concepts in social theory: constitutive rule and norm of competence