Three Traditions in the Logic of Action: Bringing them Together

  • Andreas Herzig
  • Tiago de Lima
  • Emiliano Lorini
  • Nicolas Troquard
Part of the Outstanding Contributions to Logic book series (OCTR, volume 1)


We propose a Dynamic Logic of Propositional Control (DL-PC) that is equipped with two dynamic modal operators: one of ability and one of action. We integrate into DL-PC the concept of ‘seeing to it that’ (abbreviated by stit) as studied by Belnap, Horty and others. We prove decidability of DL-PC satisfiability and establish the relation with the logic of the Chellas stit opertor.



The first and third author acknowledge the support of the EU coordinated action SINTELNET. The fourth author acknowledges the support of the program Marie Curie People Action Trentino (project LASTS).


  1. 1.
    Segerberg, K. (1992). Getting started: Beginnings in the logic of action. Studia Logica, 51, 347–378.Google Scholar
  2. 2.
    Segerberg, K. (2000) Outline of a logic of action. In F. Wolter, H. Wansing, M. de Rijke, & M. Zakharyaschev (Eds.), Advances in modal logic (pp. 365–387). New Jersey: World Scientific.Google Scholar
  3. 3.
    Segerberg, K. (1999). Two traditions in the logic of belief: Bringing them together. In H. Jürgen Ohlbach, & U. Reyle (Eds.), Logic, language and reasoning: Essays in honour of Dov Gabbay, volume 5 of Trends in Logic (pp. 135–147). Dordrecht: Kluwer Academic Publishers.Google Scholar
  4. 4.
    Pörn, I. (1977). Action theory and social science: Some formal models. Synthese library 120. D. Reidel: Dordrecht.Google Scholar
  5. 5.
    Elgesem, D. (1993). Action theory and modal logic (Ph.D. thesis, Institut for filosofi, Det historiskfilosofiske fakultetet, Universitetet i Oslo, 1993).Google Scholar
  6. 6.
    Elgesem, D. (1997). The modal logic of agency. Nordic Journal of Philosophy and Logic, 2(2), 1–46.Google Scholar
  7. 7.
    Governatori, Guido, & Rotolo, Antonino. (2005). On the axiomatization of elgesem logic of agency and ability. Journal of Philosophical Logic, 34, 403–431.CrossRefGoogle Scholar
  8. 8.
    Horty, John, & Belnap, Nuel. (1995). The deliberative stit: A study of action, omission, ability and obligation. Journal of Philosophical Logic, 24(6), 583–644.CrossRefGoogle Scholar
  9. 9.
    Horty, J. F. (2001). Agency and deontic logic. Oxford: Oxford University Press.Google Scholar
  10. 10.
    Belnap, N., Perloff, M., & Xu, M. (2001). Facing the future: Agents and choices in our indeterminist world. Oxford: Oxford University Press.Google Scholar
  11. 11.
    Thomason, R. H. (2012). Krister Segerberg’s philosophy of action. In this volume.Google Scholar
  12. 12.
    McCarthy, J., & Hayes, P. J. (1969). Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer, & D. Mitchie (Eds.), Machine intelligence (Vol. 4, pp. 463–502). Edinburgh: Edinburgh University Press.Google Scholar
  13. 13.
    Reiter, Raymond. (1991). The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (pp. 359–380). San Diego: Academic Press.CrossRefGoogle Scholar
  14. 14.
    Reiter, R. (2001). Knowledge in action: Logical foundations for specifying and implementing dynamical systems. Cambridge: The MIT Press.Google Scholar
  15. 15.
    van Ditmarsch, Hans, Herzig, Andreas, & de Lima, Tiago. (2011). From situation calculus to dynamic logic. Journal of Logic and Computation, 21(2), 179–204.CrossRefGoogle Scholar
  16. 16.
    van Eijck, Jan. (2000). Making things happen. Studia Logica, 66(1), 41–58.CrossRefGoogle Scholar
  17. 17.
    Hans P., van Ditmarsch, Wiebe van der Hoek, & Barteld, P. Kooi. (2005). Dynamic epistemic logic with assignment. In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. P. Singh, & M. Wooldridge (Eds.), Proceedings of the 4th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) (25–29 July 2005 , pp. 141–148). Utrecht, The Netherlands: ACM.Google Scholar
  18. 18.
    Blackburn, Patrick, de Rijke, Maarten, & Venema, Yde. (2001). Modal logic. Cambridge tracts in theoretical computer science. Cambridge: University Press.Google Scholar
  19. 19.
    Broersen, Jan, Herzig, Andreas, & Troquard, Nicolas. (2006). Embedding alternating-time temporal logic in strategic STIT logic of agency. Journal of Logic and Computation, 16(5), 559–578.CrossRefGoogle Scholar
  20. 20.
    Herzig, Andreas, & Lorini, Emiliano. (2010). A dynamic logic of agency I: STIT, abilities and powers. Journal of Logic, Language and Information, 19(1), 89–121.CrossRefGoogle Scholar
  21. 21.
    Herzig, A., & Schwarzentruber, F. (2008). Properties of logics of individual and group agency. In C. Areces, & R. Goldblatt (Eds.), Advances in modal logic (AiML) (pp. 133–149), Nancy: College Publications.Google Scholar
  22. 22.
    Segerberg, Krister. (1989). Bringing it about. Journal of Philosophical Logic, 18(4), 327–347.CrossRefGoogle Scholar
  23. 23.
    Hintikka, Jaakko. (1962). Knowledge and belief. Ithaca: Cornell University Press.Google Scholar
  24. 24.
    Alchourrón, Carlos, Gärdenfors, Peter, & Makinson, David. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510–530.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  • Andreas Herzig
    • 1
  • Tiago de Lima
    • 2
  • Emiliano Lorini
    • 1
  • Nicolas Troquard
    • 3
  1. 1.IRITUniversity of ToulouseToulouse Cedex 9France
  2. 2.University of Artois and CNRSLens CedexFrance
  3. 3.LOA-ISTCTrentoItaly

Personalised recommendations