Journal of Logic, Language and Information

, Volume 19, Issue 4, pp 485–503 | Cite as

Combinations of Stit and Actions

Article

Abstract

We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.

Keywords

Stit Action Logic of agency Logic of action 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Balbiani P., Herzig A., Troquard N. (2008) Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic 37: 387–406CrossRefGoogle Scholar
  2. Belnap, N. (1995). Outcomes on branching histories. Unpublished manuscript, Department of Philosophy, University of Pittsburgh.Google Scholar
  3. Belnap N. (1996) The very idea of an outcome. Serbian Scientific Review 19(20): 15–16Google Scholar
  4. 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–253CrossRefGoogle Scholar
  5. Belnap N., Perloff M. (1988) Seeing to it that: A canonical form for agentives. Theoria 54: 175–199CrossRefGoogle Scholar
  6. Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indeterminist world. Oxford University Press, OxfordGoogle Scholar
  7. 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 (Vol. 5397 of Lecture Notes in Computer Science, pp. 47–59). Berlin: Springer.Google Scholar
  8. 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.) (pp. 140–154).Google Scholar
  9. 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–578CrossRefGoogle Scholar
  10. 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 (Vol. 4160 of Lecture Notes in Artificial Intelligence, pp. 69–81). Berlin: Springer.Google Scholar
  11. Broersen, J., Herzig, A., & Troquard, N. (2009). What groups do, can do, and know they can do: A normal modal logic analysis. Journal of Applied Non-Classical Logics (to appear).Google Scholar
  12. Brown M. (1988) On the logic of ability. Journal of Philosophical Logic 17: 1–26CrossRefGoogle Scholar
  13. Brown, M. (2008a). Acting, events and actions. In R. van der Meyden & L. van der Torre (Eds.) (pp. 19–33).Google Scholar
  14. 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
  15. Campbell C.A. (1957) On selfhood and godhood. George Allen & Unwin Ltd., The MacMillan Company, New YorkGoogle Scholar
  16. Chellas B. (1969) The logical form of imperatives. Perry Lane Press, StanfordGoogle Scholar
  17. Davidson, D. (1971). Agency. In R. B. Robert Binkley, & A. Marras (Eds.), Agent, action and reason (pp. 43–61). Toronto: University of Toronto Press (Reprinted in Davidson 1980).Google Scholar
  18. Davidson D. (1980) Essays on actions and events. Oxford University Press, OxfordGoogle Scholar
  19. Governatori, G., Hodkinson, I., & Venema, Y. (Eds.). (2006). Advances in modal logic (Vol. 6). College Publications, Department of Compuer Science, Strand, London WC2R 2LS, UK.Google Scholar
  20. Horty, J. F. (1989). An alternative stit operator. Manuscript, Department of Philosophy, University of Maryland.Google Scholar
  21. Horty J. F. (2001) Agency and deontic logic. Oxford University Press, OxfordCrossRefGoogle Scholar
  22. van Benthem, J. F. A. K. (2008). Logical dynamics of information and interaction. Manuscript.Google Scholar
  23. Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009) Merging frameworks for interaction. Journal of Philosophical Logic 38: 491–526CrossRefGoogle Scholar
  24. van Benthem, J., & Pacuit, E. (2006). The tree of knowledge in action: Towards a common perspective (pp. 87–106) (in Governatori et al. 2006).Google Scholar
  25. van der Meyden, R., & van der Torre, L. (Eds.). (2008). Deontic logic in computer science: 9th International conference, DEON 2008, Luxembourg, Luxembourg, July 2008, proceedings (Vol. 5076 of Lecture Notes in Artificial Intelligence). Berlin: Springer.Google Scholar
  26. Kutschera F. (1986) Bewirken. Erkenntnis 24: 253–281Google Scholar
  27. Kutschera F. (1993) Causation. Journal of Philosophical Logic 22: 563–588CrossRefGoogle Scholar
  28. Wansing, H. (2006). Tableaux for multi-agent deliberative stit logic (pp. 503–520) (in Governatori et al. 2006).Google Scholar
  29. Wölfl S. (2002) Propositional Q logic. Journal of Philosophical Logic 31: 387–414CrossRefGoogle Scholar
  30. Wölfl S. (2005) Events in branching time. Studia Logica 79: 255–282CrossRefGoogle Scholar
  31. Xu, M. (1994). 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 (Vol. 827 of Lecture Notes in Artificial Intelligence, pp. 332–348). Berlin: Springer.Google Scholar
  32. Xu M. (1997) Causation in branching time (I): Transitions, events and causes. Synthese 112: 137–192CrossRefGoogle Scholar
  33. Xu M. (1998) Axioms for deliberative stit. Journal of Philosophical Logic 27: 505–552CrossRefGoogle Scholar
  34. Xu, M. (2009a). Actions as events. Unpublished manuscript, Department of Philosophy, Wuhan University.Google Scholar
  35. Xu, M. (2009b). Axioms for stit with actions based on metric tense logic in branching time. Unpublished manuscript, Department of Philosophy, Wuhan University.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Department of PhilosophyWuhan UniversityWuhanPeople’s Republic of China
  2. 2.Chinese Institute of Advanced StudiesCentral University of Finance and EconomicsBeijingPeople’s Republic of China

Personalised recommendations