Skip to main content
SpringerLink
Log in

Actions as Events

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Balbiani, P., Herzig, A., & Troquard, N. (2008). Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic, 37, 387–406.

    Article  Google Scholar 

  2. Belnap, N. (1991). Before refraining: Concepts for agency. Erkenntnis, 34, 137–169.

    Article  Google Scholar 

  3. Belnap, N. (1995). Outcomes on branching histories. Manuscript, Department of Philosophy, University of Pittsburgh.

  4. Belnap, N. (1996). The very idea of an outcome. Serbian Scientific Review, 19–20, 15–16.

    Google Scholar 

  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.

    Article  Google Scholar 

  6. Belnap, N., & Perloff, M. (1988). Seeing to it that: A canonical form for agentives. Theoria, 54, 175–199.

    Article  Google Scholar 

  7. Belnap, N., & Perloff, M. (1993). In the realm of agents. Annals of Mathematics and Artificial Intelligence, 9, 25–48.

    Article  Google Scholar 

  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. 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.

    Chapter  Google Scholar 

  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. 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.

    Article  Google Scholar 

  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. 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.

    Article  Google Scholar 

  14. Brown, M. (1988). On the logic of ability. Journal of Philosophical Logic, 17, 1–26.

    Article  Google Scholar 

  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. 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.

  17. Campbell, C. A. (1957). On selfhood and Godhood. George Allen & Unwin Ltd., New York: The MacMillan Company.

    Google Scholar 

  18. Chellas, B. (1969). The logical form of imperatives. Stanford: Perry Lane Press.

    Google Scholar 

  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. Davidson, D. (1980) Essays on Actions and Events. Oxford, New York: Oxford University Press.

    Google Scholar 

  21. Horty, J. F. (1989). An alternative stit operator. Manuscript, Department of Philosophy, University of Maryland.

  22. Horty, J. F. (2001). Agency and Deontic Logic. Oxford and New York: Oxford University Press.

    Book  Google Scholar 

  23. Mackie, J. (1965). Causes and conditions. American Philosophical Quarterly, 2, 245–255 and 261–264. Reprinted in [29], pp. 15–38.

  24. Mackie, J. (1974). The cement of the universe: A study of causation. Oxford: Oxford University Press.

    Google Scholar 

  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. Prior, A. (1967). Past, present and future. Oxford: Oxford Univerity Press.

    Book  Google Scholar 

  27. Russell, B. (1914). Our knowledge of the external world. London: Allen and Unwin.

    Google Scholar 

  28. Russell, B. (1936). On order in time. Proceedings of the Cambridge Philosophical Society, 32, 216–228.

    Article  Google Scholar 

  29. Sosa, E. (Ed.) (1975). Causation and conditionals. Ely House, London W.1: Oxford University Press.

    Google Scholar 

  30. Thomason, R. H. (1970). Indeterminist time and truth-value gaps. Theoria, 36, 264–281.

    Article  Google Scholar 

  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.

    Chapter  Google Scholar 

  32. Thomason, S. K. (1984b). On constructing instants from events. Journal of Philosophical Logic, 13, 85–96.

    Article  Google Scholar 

  33. van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2009). Merging frameworks for interaction. Journal of Philosophical Logic, 38, 491–526.

    Article  Google Scholar 

  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. von Kutschera, F. (1986). Bewirken. Erkenntnis, 24, 253–281.

    Google Scholar 

  36. von Kutschera, F. (1993). Causation. Journal of Philosophical Logic, 22, 563–588.

    Article  Google Scholar 

  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. Wiener, N. (1914). A contribution to the theory of relative position. Proceedings of the Cambridge Philosophical Society, 17, 441–449.

    Google Scholar 

  39. Wölfl, S. (2002). Propositional Q logic. Journal of Philosophical Logic, 31, 387–414.

    Article  Google Scholar 

  40. Wölfl, S. (2005). Events in branching time. Studia Logica, 79, 255–282.

    Article  Google Scholar 

  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. Xu, M. (1994b). Doing and refraining from refraining. Journal of Philosophical Logic, 23, 621–632.

    Article  Google Scholar 

  43. Xu, M. (1995). Busy choice sequences, refraining formulas and modalities. Studia Logica, 54, 267–301.

    Article  Google Scholar 

  44. Xu, M. (1997). Causation in branching time (I): Transitions, events and causes. Synthese, 112, 137–192.

    Article  Google Scholar 

  45. Xu, M. (1998). Axioms for deliberative stit. Journal of Philosophical Logic, 27, 505–552.

    Article  Google Scholar 

  46. Xu, M. (2010). Combinations of stit and action. Journal of Logic, Language and Information, 19(4), 485–503.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Wuhan University, Wuhan, 430072, People’s Republic of China

    Ming Xu

Authors
  1. Ming Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ming Xu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Xu, M. Actions as Events. J Philos Logic 41, 765–809 (2012). https://doi.org/10.1007/s10992-012-9238-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-012-9238-2

Keywords

Search

Navigation