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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Balbiani P., Herzig A., Troquard N. (2008) Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic 37: 387–406
Belnap, N. (1995). Outcomes on branching histories. Unpublished manuscript, Department of Philosophy, University of Pittsburgh.
Belnap N. (1996) The very idea of an outcome. Serbian Scientific Review 19(20): 15–16
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
Belnap N., Perloff M. (1988) Seeing to it that: A canonical form for agentives. Theoria 54: 175–199
Belnap N., Perloff M., Xu M. (2001) Facing the future: Agents and choices in our indeterminist world. Oxford University Press, Oxford
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.
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).
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
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.
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).
Brown M. (1988) On the logic of ability. Journal of Philosophical Logic 17: 1–26
Brown, M. (2008a). Acting, events and actions. In R. van der Meyden & L. van der Torre (Eds.) (pp. 19–33).
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.
Campbell C.A. (1957) On selfhood and godhood. George Allen & Unwin Ltd., The MacMillan Company, New York
Chellas B. (1969) The logical form of imperatives. Perry Lane Press, Stanford
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).
Davidson D. (1980) Essays on actions and events. Oxford University Press, Oxford
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.
Horty, J. F. (1989). An alternative stit operator. Manuscript, Department of Philosophy, University of Maryland.
Horty J. F. (2001) Agency and deontic logic. Oxford University Press, Oxford
van Benthem, J. F. A. K. (2008). Logical dynamics of information and interaction. Manuscript.
Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009) Merging frameworks for interaction. Journal of Philosophical Logic 38: 491–526
van Benthem, J., & Pacuit, E. (2006). The tree of knowledge in action: Towards a common perspective (pp. 87–106) (in Governatori et al. 2006).
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.
Kutschera F. (1986) Bewirken. Erkenntnis 24: 253–281
Kutschera F. (1993) Causation. Journal of Philosophical Logic 22: 563–588
Wansing, H. (2006). Tableaux for multi-agent deliberative stit logic (pp. 503–520) (in Governatori et al. 2006).
Wölfl S. (2002) Propositional Q logic. Journal of Philosophical Logic 31: 387–414
Wölfl S. (2005) Events in branching time. Studia Logica 79: 255–282
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.
Xu M. (1997) Causation in branching time (I): Transitions, events and causes. Synthese 112: 137–192
Xu M. (1998) Axioms for deliberative stit. Journal of Philosophical Logic 27: 505–552
Xu, M. (2009a). Actions as events. Unpublished manuscript, Department of Philosophy, Wuhan University.
Xu, M. (2009b). Axioms for stit with actions based on metric tense logic in branching time. Unpublished manuscript, Department of Philosophy, Wuhan University.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Xu, M. Combinations of Stit and Actions. J of Log Lang and Inf 19, 485–503 (2010). https://doi.org/10.1007/s10849-009-9119-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-009-9119-4