Action, Failure and Free Will Choice in Epistemic stit Logic

  • Jan BroersenEmail author
  • John-Jules Charles Meyer
Part of the Synthese Library book series (SYLI, volume 369)


We study action, failure and free will choice in stit logic. We identify a failing action as a situation where there is a discrepancy between the objective act conducted by an agent and the choice the agent believes to be exercising. To model this in stit logic, we consider extensions with epistemic operators. We discuss several possible logical properties as candidates for a logic of choice, action and failure. Then we propose a definition of free will choice, which uses the distinction between objective action and subjective choice to account for the free will aspect of a choice. The properties of free will choice suggest a connection with so called Frankfurt examples. We investigate this link and discuss issues of determinism, compatibilism and moral responsibility in our context.


Epistemic STIT logic Free will Logic of action Logic of choice 


  1. Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672–713.CrossRefGoogle Scholar
  2. Anscombe, G. E. M. (1963). Intention (2nd ed.). Ithaca: Cornell University Press.Google Scholar
  3. Belnap, N., Perloff, M., & Xu, M. (2001). Facing the future: Agents and choices in our indeterminist world. Oxford/New York: Oxford University Press.Google Scholar
  4. Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic: Volume 53 of Cambridge tracts in theoretical computer science. Cambridge: Cambridge University Press.Google Scholar
  5. Broersen, J. M. (2008). A logical analysis of the interaction between ‘obligation-to-do’ and ‘knowingly doing’. In L. W. N. van der Torre & R. van der Meyden (Eds.), Proceedings 9th international workshop on deontic logic in computer science (DEON’08): Volume 5076 of lecture notes in computer science, Luxembourg (pp. 140–154). Springer.Google Scholar
  6. Broersen, J. M. (2009a) A complete stit logic for knowledge and action, and some of its applications. In M. Baldoni, T. Cao Son, M. B. van Riemsdijk, & M. Winikoff (Eds.), Declarative agent languages and technologies VI (DALT 2008): Volume 5397 of lecture notes in computer science, Estoril (pp. 47–59).Google Scholar
  7. Broersen, J. M. (2009b). A stit-logic for extensive form group strategies. In WI-IAT ’09: Proceedings of the 2009 IEEE/WIC/ACM international joint conference on web intelligence and intelligent agent technology, Milano (pp. 484–487). Washington, DC: IEEE Computer Society.Google Scholar
  8. Broersen, J. M. (2011). Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic, 9(2), 127–152.CrossRefGoogle Scholar
  9. Broersen, J. M., Herzig, A., & Troquard, N. (2006). A STIT-extension of ATL. In M. Fisher (Ed.), Proceedings tenth European conference on logics in artificial intelligence (JELIA’06): Volume 4160 of lecture notes in artificial intelligence, Liverpool (pp. 69–81). Springer.Google Scholar
  10. Broersen, J. M., Herzig, A., & Troquard, N. (2007). A normal simulation of coalition logic and an epistemic extension. In D. Samet (Ed.), Proceedings theoretical aspects rationality and knowledge (TARK XI), Brussels (pp. 92–101). ACM Digital Library.Google Scholar
  11. Conradie, W., Goranko, V., & Vakarelov, D. (2006). Algorithmic correspondence and completeness in modal logic I: The core algorithm SQEMA. Logical Methods in Computer Science, 2(1), 1–26.CrossRefGoogle Scholar
  12. Emerson, E. A. (1990). Temporal and modal logic (chap. 14). In J. van Leeuwen (Ed.), Handbook of theoretical computer science, volume B: Formal models and semantics (pp. 996–1072). Amsterdam: Elsevier Science.Google Scholar
  13. Forrester, J. W. (1984). Gentle murder, or the adverbial Samaritan. Journal of Philosophy, 81(4), 193–197.CrossRefGoogle Scholar
  14. Frankfurt, H. G. (1969). Alternate possibilities and moral responsibility. The Journal of Philosophy, 66(23), 829–839.CrossRefGoogle Scholar
  15. Goldman, R. P., & Boddy, M. S. (1996). Expressive planning and explicit knowledge. In Proceedings of the 3rd international conference on artificial intelligence planning systems (AIPS-96), Edinburgh (pp. 110–117). AAAI.Google Scholar
  16. Harel, D., Kozen, D., Tiuryn, J. (2000). Dynamic logic. Cambridge: MIT.Google Scholar
  17. Herzig, A., & Schwarzentruber, F. (2008). Properties of logics of individual and group agency. In C. Areces & R. Goldblatt (Eds.), Advances in modal logic (Vol. 7, pp. 133–149). London: College Publications.Google Scholar
  18. Herzig, A., & Troquard, N. (2006). Knowing how to play: Uniform choices in logics of agency. In G. Weiss & P. Stone (Eds.), 5th international joint conference on autonomous agents & multi agent systems (AAMAS-06), Hakodate (pp. 209–216). ACM.Google Scholar
  19. Horty, J. F. (2001). Agency and deontic logic. Oxford/New York: Oxford University Press.CrossRefGoogle Scholar
  20. Horty, J. F., & Belnap, N. D. (1995). The deliberative stit: A study of action, omission, and obligation. Journal of Philosophical Logic, 24(6), 583–644.CrossRefGoogle Scholar
  21. Kane, R. H. (2003). Free will: New directions for an ancient problem. In R. H. Kane (Ed.), Free will. Malden: Blackwell.Google Scholar
  22. McCarthy, J. (1979). Ascribing mental qualities to machines. In M. Ringle (Ed.), Philosophical perspectives in artificial intelligence (pp. 222–270). Atlantic Highlands: Humanities Press.Google Scholar
  23. Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1), 149–166.CrossRefGoogle Scholar
  24. van Benthem, J. (1984). Correspondence theory. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. II). Dordrecht/Boston: Reidel.Google Scholar
  25. Vanderveken, D. (2005). Attempt, success and action generation: A logical study of intentional action. In D. Vanderveken (Ed.), Logic, thought and action (pp. 316–342). Dordrecht: Springer.CrossRefGoogle Scholar
  26. Wansing, H. (2001). Obligations, authorities, and history dependence. In H. Wansing (Ed.), Essays on non-classical logic (pp. 247–258). River Edge: World Scientific.CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Department of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations