A Dynamic Logic of Institutional Actions

We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and institutional facts and actions; (2) the distinction between causality and 'counts-as'; (3) the notion of institutional power. Technically, our contribution consists in extending a dynamic logic of propositional assignments with constructions allowing to express that an agent plays a given role; that a physical action causes another physical action; that a physical action performed by an agent playing a given role counts as an institutional action.

[1]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

[2]  Jan van Eijck.  Making Things Happen , 2000, Stud Logica.

[3]  Gabriela Lindemann,et al.  Regulated Agent-Based Social Systems , 2004, Lecture Notes in Computer Science.

[4]  Emiliano Lorini,et al.  A Dynamic Logic of Normative Systems , 2011, IJCAI.

[5]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[6]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[7]  Frank Dignum,et al.  Classificatory Aspects of Counts-as: An Analysis in Modal Logic , 2006, J. Log. Comput..

[8]  A. White.  Essays on Actions and Events. , 1981 .

[9]  E. Bulygin.  On norms of competence , 1992 .

[10]  Emiliano Lorini,et al.  A Logical Account of Institutions: From Acceptances to Norms via Legislators , 2008, KR.

[11]  Jelle Gerbrandy,et al.  Logics of propositional control , 2006, AAMAS '06.

[12]  D. Davidson.  Essays on actions and events , 1980 .

[13]  Camilla Schwind,et al.  Causality in Action Theories , 1999, Electron. Trans. Artif. Intell..

[14]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[15]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

[16]  David Makinson.  On the formal representation of rights relations , 1986, J. Philos. Log..

[17]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[18]  Guido Governatori,et al.  Actions, institutions, powers: Preliminary notes , 2002 .

[19]  Johann A. Makowsky,et al.  Propositional Dynamic Logic with Local Assignments , 1985, Theor. Comput. Sci..

[20]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[21]  Michael Wooldridge,et al.  Reasoning About the Transfer of Control , 2014, J. Artif. Intell. Res..

[22]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[23]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[24]  Davide Grossi,et al.  A note on brute vs. institutional facts: Modal logic of equivalence up to a signature , 2009 .

[25]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[26]  T. Horgan,et al.  Action Theory and Social Science: Some Formal Models , 2011 .

[27]  Eugenio Bulygin,et al.  A Model for Normative Systems , 1971 .

[28]  Michael Wooldridge,et al.  On the logic of cooperation and propositional control , 2005, Artif. Intell..

[29]  Emiliano Lorini,et al.  The Logic of Acceptance: Grounding Institutions on Agents' Attitudes , 2009, J. Log. Comput..

[30]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[31]  Emiliano Lorini,et al.  A logic of intention and attempt , 2008, Synthese.

[32]  A. Goldman.  Theory of Human Action , 1970 .

[33]  Burkhard C. Schipper,et al.  Interactive Unawareness , 2005, J. Econ. Theory.

[34]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..