Journal of Philosophical Logic

, Volume 41, Issue 4, pp 765–809 | Cite as

Actions as Events



We present a theory of actions based on a theory of events in branching time, in which “particular” or “token” actions are taken to be sets of transitions from their initial states to the outcomes. We also present a simple theory of composition of events by which composite events can be formed out of other events. Various kinds of actions, including instantaneous group actions and sequential group actions, are introduced by way of composition, and an extended stit theory of agency is proposed, in which the stit operators are combined or equipped with reified group actions.


Event Action Composition Group action Stit Logic of agency Logic of action 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Balbiani, P., Herzig, A., & Troquard, N. (2008). Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic, 37, 387–406.CrossRefGoogle Scholar
  2. 2.
    Belnap, N. (1991). Before refraining: Concepts for agency. Erkenntnis, 34, 137–169.CrossRefGoogle Scholar
  3. 3.
    Belnap, N. (1995). Outcomes on branching histories. Manuscript, Department of Philosophy, University of Pittsburgh.Google Scholar
  4. 4.
    Belnap, N. (1996). The very idea of an outcome. Serbian Scientific Review, 19–20, 15–16.Google Scholar
  5. 5.
    Belnap, N. (2005). A theory of causation: Causae causantes (originating causes) as inus conditions in branching space-times. British Journal of the Philosophy of Science, 56, 221–253.CrossRefGoogle Scholar
  6. 6.
    Belnap, N., & Perloff, M. (1988). Seeing to it that: A canonical form for agentives. Theoria, 54, 175–199.CrossRefGoogle Scholar
  7. 7.
    Belnap, N., & Perloff, M. (1993). In the realm of agents. Annals of Mathematics and Artificial Intelligence, 9, 25–48.CrossRefGoogle Scholar
  8. 8.
    Belnap, N., Perloff, M., & Xu, M. (2001). Facing the future: Agents and choices in our indeterminist world. Oxford: Oxford University Press.Google Scholar
  9. 9.
    Broersen, J. (2008a). A complete stit logic for knowledge and action, and some of its applications. In M. Baldoni, T. C. Son, M. B. van Riemsdijk & M. Winikoff (Eds.), Declarative agent languages and technologies VI, DALT 2008. Lecture notes in computer science (Vol. 5397, pp. 47–59). Berlin, Heidelberg: Springer.CrossRefGoogle Scholar
  10. 10.
    Broersen, J. (2008b). A logical analysis of the interaction between ‘obligation-to-do’ and ‘knowingly doing’. In R. van der Meyden & L. van der Torre (Eds.), Deontic logic in computer science: 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 2008, Proceedings. Lecture notes in artificial intelligence (Vol. 5076, pp. 140–154). Berlin, Heidelberg: Springer.Google Scholar
  11. 11.
    Broersen, J., Herzig, A., & Troquard, N. (2006a). Embedding alternating-time temporal logic in strategic stit logic of agency. Journal of Logic and Computation, 16(5), 559–578.CrossRefGoogle Scholar
  12. 12.
    Broersen, J., Herzig, A., & Troquard, N. (2006b). A stit-extension of ATL. In M. Fisher (Ed.), Proceedings tenth European conference on logics in artificial intelligence, JELIA 06. Lecture notes in artificial intelligence (Vol. 4160, pp. 69–81). Berlin, Heidelberg: Springer.Google Scholar
  13. 13.
    Broersen, J., Herzig, A., & Troquard, N. (2009). What groups do, can do, and know they can do: An analysis in normal modal logics. Journal of Applied Non-classical Logic, 19(3), 261–289.CrossRefGoogle Scholar
  14. 14.
    Brown, M. (1988). On the logic of ability. Journal of Philosophical Logic, 17, 1–26.CrossRefGoogle Scholar
  15. 15.
    Brown, M. (2008a). Acting, events and actions. In R. van der Meyden & L. van der Torre (Eds.), Deontic logic in computer science: 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 2008, Proceedings. Lecture notes in artificial intelligence (Vol. 5076, pp. 19–33). Berlin, Heidelberg: Springer.Google Scholar
  16. 16.
    Brown, M. (2008b). Acts and actions in branching time. Manuscript, Philosophy Department, Syracuse University. Presented at the 36th Annual Meeting of the Society for Exact Philosophy.Google Scholar
  17. 17.
    Campbell, C. A. (1957). On selfhood and Godhood. George Allen & Unwin Ltd., New York: The MacMillan Company.Google Scholar
  18. 18.
    Chellas, B. (1969). The logical form of imperatives. Stanford: Perry Lane Press.Google Scholar
  19. 19.
    Davidson, D. (1971) Agency. In R. Binkley, R. Bronaugh & A. Marras (Eds.), Agent, Action and Reason. Toronto: University of Toronto Press. Reprinted in Davidson (1980), pp. 43–61.Google Scholar
  20. 20.
    Davidson, D. (1980) Essays on Actions and Events. Oxford, New York: Oxford University Press.Google Scholar
  21. 21.
    Horty, J. F. (1989). An alternative stit operator. Manuscript, Department of Philosophy, University of Maryland.Google Scholar
  22. 22.
    Horty, J. F. (2001). Agency and Deontic Logic. Oxford and New York: Oxford University Press.CrossRefGoogle Scholar
  23. 23.
    Mackie, J. (1965). Causes and conditions. American Philosophical Quarterly, 2, 245–255 and 261–264. Reprinted in [29], pp. 15–38.Google Scholar
  24. 24.
    Mackie, J. (1974). The cement of the universe: A study of causation. Oxford: Oxford University Press.Google Scholar
  25. 25.
    Murakami, Y. (2005). Utilitarian deontic logic. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, & H. Wansing (Eds.), Advances in modal logic (Vol. 5, pp. 211–230). London: King’s College Publications.Google Scholar
  26. 26.
    Prior, A. (1967). Past, present and future. Oxford: Oxford Univerity Press.CrossRefGoogle Scholar
  27. 27.
    Russell, B. (1914). Our knowledge of the external world. London: Allen and Unwin.Google Scholar
  28. 28.
    Russell, B. (1936). On order in time. Proceedings of the Cambridge Philosophical Society, 32, 216–228.CrossRefGoogle Scholar
  29. 29.
    Sosa, E. (Ed.) (1975). Causation and conditionals. Ely House, London W.1: Oxford University Press.Google Scholar
  30. 30.
    Thomason, R. H. (1970). Indeterminist time and truth-value gaps. Theoria, 36, 264–281.CrossRefGoogle Scholar
  31. 31.
    Thomason, R. H. (1984a). Combinations of tense and modality. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 2, pp. 135–165). Dordrecht: D. Reidel Publishing Company.CrossRefGoogle Scholar
  32. 32.
    Thomason, S. K. (1984b). On constructing instants from events. Journal of Philosophical Logic, 13, 85–96.CrossRefGoogle Scholar
  33. 33.
    van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2009). Merging frameworks for interaction. Journal of Philosophical Logic, 38, 491–526.CrossRefGoogle Scholar
  34. 34.
    van Benthem, J., & Pacuit, E. (2006). The tree of knowledge in action: Towards a common perspective. In G. Governatori, I. Hodkinson, & Y. Venema (Eds.), Advances in modal logic (Vol. 6, pp. 87–106). London: College Publications.Google Scholar
  35. 35.
    von Kutschera, F. (1986). Bewirken. Erkenntnis, 24, 253–281.Google Scholar
  36. 36.
    von Kutschera, F. (1993). Causation. Journal of Philosophical Logic, 22, 563–588.CrossRefGoogle Scholar
  37. 37.
    Wansing, H. (2006). Tableaux for multi-agent deliberative stit logic. In G. Governatori, I. Hodkinson, & Y. Venema (Eds.), Advances in modal logic (Vol. 6, pp. 503–520). London: College Publications.Google Scholar
  38. 38.
    Wiener, N. (1914). A contribution to the theory of relative position. Proceedings of the Cambridge Philosophical Society, 17, 441–449.Google Scholar
  39. 39.
    Wölfl, S. (2002). Propositional Q logic. Journal of Philosophical Logic, 31, 387–414.CrossRefGoogle Scholar
  40. 40.
    Wölfl, S. (2005). Events in branching time. Studia Logica, 79, 255–282.CrossRefGoogle Scholar
  41. 41.
    Xu, M. (1994a). Decidability of deliberative stit theories with multiple agents. In D. M. Gabbay, & H. J. Ohlbach (Eds.), Temporal logic, first international conference, ICTL’94, Bonn, Germany, Proceedings. Lecture notes in artificial intelligence (Vol. 827, pp. 332–348). Berlin, Heidelberg: Springer.Google Scholar
  42. 42.
    Xu, M. (1994b). Doing and refraining from refraining. Journal of Philosophical Logic, 23, 621–632.CrossRefGoogle Scholar
  43. 43.
    Xu, M. (1995). Busy choice sequences, refraining formulas and modalities. Studia Logica, 54, 267–301.CrossRefGoogle Scholar
  44. 44.
    Xu, M. (1997). Causation in branching time (I): Transitions, events and causes. Synthese, 112, 137–192.CrossRefGoogle Scholar
  45. 45.
    Xu, M. (1998). Axioms for deliberative stit. Journal of Philosophical Logic, 27, 505–552.CrossRefGoogle Scholar
  46. 46.
    Xu, M. (2010). Combinations of stit and action. Journal of Logic, Language and Information, 19(4), 485–503.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Department of PhilosophyWuhan UniversityWuhanPeople’s Republic of China

Personalised recommendations