A Dynamic Logic of Institutional Actions

  • Andreas Herzig
  • Emiliano Lorini
  • Nicolas Troquard
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6814)


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.


Physical Action Institutional Fact Propositional Variable Dynamic Logic Institutional Action 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alchourrón, C., Bulygin, E.: Normative systems. Springer, New York (1971)CrossRefzbMATHGoogle Scholar
  2. 2.
    van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(204), 1620–1662 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Boella, G., van der Torre, L.: Regulative and constitutive norms in normative multiagent systems. In: KR 2004, pp. 255–266. AAAI Press, Menlo Park (2004)Google Scholar
  4. 4.
    Bulygin, E.: On norms of competence. Law and Philosophy 11(3), 201–216 (1992)CrossRefGoogle Scholar
  5. 5.
    Davidson, D.: Agency. In: Essays on Actions and Events. Oxford University Press, New York (1980)Google Scholar
  6. 6.
    van Ditmarsch, H.P., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignment. In: AAMAS 2005, pp. 141–148. ACM Press, New York (2005)Google Scholar
  7. 7.
    Gerbrandy, J.: Logics of propositional control. In: Proc. AAMAS 2006, pp. 193–200 (2006)Google Scholar
  8. 8.
    Goldman, A.: A Theory of Human Action. Prentice-Hall, Englewood Cliffs (1970)Google Scholar
  9. 9.
    Governatori, G., Gelati, J., Rotolo, A., Sartor, G.: Actions, institutions, powers: preliminary notes. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 131–147. Springer, Heidelberg (2004)Google Scholar
  10. 10.
    Grossi, D.: A note on brute vs. institutional facts: modal logic of equivalence up to a signature. In: Boella, G., Pigozzi, G., Noriega, P., Verhagen, H. (eds.) Proceedings of Dagstuhl Seminar on Normative Multi-agent Systems (2009)Google Scholar
  11. 11.
    Grossi, D., Meyer, J.-J.C., Dignum, F.: Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16(5), 613–643 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Hart, H.L.A.: The concept of law, new edn. Clarendon Press, Oxford (1992)Google Scholar
  13. 13.
    Heifetz, A., Meier, M., Schipper, B.: Interactive unawareness. Journal of Economic Theory 130(1), 78–94 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems (regular paper). In: Walsh, T. (ed.) Proc. 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011). Morgan Kaufmann Publisher, Barcelona (2011)Google Scholar
  15. 15.
    van der Hoek, W., Walther, D., Wooldridge, M.: Reasoning about the transfer of control. JAIR 37, 437–477 (2010)MathSciNetzbMATHGoogle Scholar
  16. 16.
    van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artificial Intelligence 164(1-2), 81–119 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Jones, A., Sergot, M.J.: A formal characterization institutionalised power. J. of the IGPL 4, 429–445 (1996)CrossRefzbMATHGoogle Scholar
  18. 18.
    Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI 1995), pp. 1985–1991 (1995)Google Scholar
  19. 19.
    Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Lorini, E., Longin, D.: A logical account of institutions: from acceptances to norms via legislators. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 38–48. AAAI Press, Menlo Park (2008)Google Scholar
  21. 21.
    Lorini, E., Longin, D., Gaudou, B., Herzig, A.: The logic of acceptance: grounding institutions on agents’ attitudes. J. of Logic and Computation 19(6), 901–940 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Makinson, D.: On the formal representation of rights relations: remarks on the work of Stig Kanger and Lars Lindahl. The Journal of Philosophical Logic 15, 403–425 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., Guarino, N.: Social roles and their descriptions. In: Dubois, D., Welty, C.A., Williams, W.-A. (eds.) KR, pp. 267–277. AAAI Press, Menlo Park (2004)Google Scholar
  24. 24.
    McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI 1995), pp. 1978–1984 (1995)Google Scholar
  25. 25.
    McCain, N., Turner, H.: Causal theories of action and change. In: Proc. Nat. Conf. on Artificial Intelligence (AAAI 1997), pp. 460–465 (1997)Google Scholar
  26. 26.
    Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    Pörn, I.: Action Theory and Social Science: Some Formal Models. Synthese Library, vol. 120. D. Reidel, Dordrecht (1977)CrossRefzbMATHGoogle Scholar
  28. 28.
    Schwind, C.: Causality in action theories. ETAI Electronic Articles in Computer and Information Science 3(A), (1999),
  29. 29.
    Searle, J.R.: Speech acts: An essay in the philosophy of language. Cambridge University Press, New York (1969)CrossRefGoogle Scholar
  30. 30.
    Searle, J.R.: The Construction of Social Reality. The Free Press, New York (1995)Google Scholar
  31. 31.
    Thielscher, M.: Ramification and causality. Artificial Intelligence 89, 317–364 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  32. 32.
    Tiomkin, M.L., Makowsky, J.A.: Propositional dynamic logic with local assignments. Theor. Comput. Sci. 36, 71–87 (1985)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    van Eijck, J.: Making things happen. Studia Logica 66(2), 41–58 (2000)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Andreas Herzig
    • 1
  • Emiliano Lorini
    • 1
  • Nicolas Troquard
    • 2
  1. 1.University of Toulouse, CNRS, IRITFrance
  2. 2.Laboratory of Applied Ontology, ISTC-CNRItaly

Personalised recommendations