{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:10Z","timestamp":1740123910293,"version":"3.37.3"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T00:00:00Z","timestamp":1634256000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T00:00:00Z","timestamp":1634256000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2022,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we investigate the semantics and logic of<jats:italic>choice-driven counterfactuals<\/jats:italic>, that is, of counterfactuals whose evaluation relies on auxiliary premises about how agents are expected to act,<jats:italic>i.e.<\/jats:italic>, about their<jats:italic>default choice behavior<\/jats:italic>. To do this, we merge one of the most prominent logics of agency in the philosophical literature, namely stit logic (Belnap et al. 2001; Horty 2001), with the well-known logic of counterfactuals due to Stalnaker (1968) and Lewis (1973). A key component of our semantics for counterfactuals is to distinguish between<jats:italic>deviant<\/jats:italic>and<jats:italic>non-deviant<\/jats:italic>actions at a moment, where an action available to an agent at a moment is deviant when its performance does not agree with the agent\u2019s default choice behavior at that moment. After developing and axiomatizing a stit logic with action types, instants, and deviant actions, we study the philosophical implications and logical properties of two candidate semantics for choice-driven counterfactuals, one called<jats:italic>rewind models<\/jats:italic>inspired by Lewis (<jats:italic>Nous<\/jats:italic><jats:bold>13<\/jats:bold>(4), 455\u2013476 1979) and the other called<jats:italic>independence models<\/jats:italic>motivated by well-known counterexamples to Lewis\u2019s proposal Slote (<jats:italic>Philos. Rev.<\/jats:italic><jats:bold>87<\/jats:bold>(1), 3\u201327 1978). In the last part of the paper we consider how to evaluate choice-driven counterfactuals at moments arrived at by some agents performing a deviant action.<\/jats:p>","DOI":"10.1007\/s10992-021-09629-1","type":"journal-article","created":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T10:10:45Z","timestamp":1634292645000},"page":"297-345","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Choice-Driven Counterfactuals"],"prefix":"10.1007","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8649-1810","authenticated-orcid":false,"given":"Ilaria","family":"Canavotto","sequence":"first","affiliation":[]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,15]]},"reference":[{"issue":"1","key":"9629_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1016\/S0899-8256(05)80015-6","volume":"8","author":"R Aumann","year":"1995","unstructured":"Aumann, R. (1995). Backward induction and common knowledge of rationality. Games Econ. Behav., 8(1), 6\u201319.","journal-title":"Games Econ. Behav."},{"key":"9629_CR2","doi-asserted-by":"crossref","unstructured":"Baltag, A., Canavotto, I., & Smets, S. (2021). Causal Agency and Responsibility: A Refinement of STIT Logic. In A. Giordani J. Malinowski (Eds.) Logic in High Definition, Trends in Logical Semantics, volume 56 of Trends in Logic (pp. 149\u2013176). Berlin: Springer.","DOI":"10.1007\/978-3-030-53487-5_8"},{"key":"9629_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1006\/jeth.1996.2252","volume":"74","author":"P Battigalli","year":"1997","unstructured":"Battigalli, P. (1997). On rationalizability in extensive games. J. Econ. Theory, 74, 40\u201361.","journal-title":"J. Econ. Theory"},{"issue":"2","key":"9629_CR4","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1006\/jeth.2001.2942","volume":"106","author":"P Battigalli","year":"2002","unstructured":"Battigalli, P., & Siniscalchi, M. (2002). Strong belief and forward induction reasoning. J. Econ. Theory, 106(2), 356\u2013391.","journal-title":"J. Econ. Theory"},{"key":"9629_CR5","doi-asserted-by":"crossref","unstructured":"Belnap, N., Perloff, M., & Xu, M. (2001). Facing the future: Agents and choices in our indeterministic world. Oxford University Press, Oxford.","DOI":"10.1093\/oso\/9780195138788.001.0001"},{"key":"9629_CR6","doi-asserted-by":"crossref","unstructured":"Bennett, J. (2003). A Philosophical Guide to Conditionals. Clarendon Press, Oxford.","DOI":"10.1093\/0199258872.001.0001"},{"key":"9629_CR7","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF00869644","volume":"76","author":"C Bicchieri","year":"1988","unstructured":"Bicchieri, C. (1988). Strategic behavior and counterfactuals. Synthese, 76, 135\u2013169.","journal-title":"Synthese"},{"key":"9629_CR8","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Yde, V. (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge.","DOI":"10.1017\/CBO9781107050884"},{"key":"9629_CR9","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.geb.2014.10.004","volume":"88","author":"G Bonanno","year":"2014","unstructured":"Bonanno, G. (2014). A doxastic behavioral characterization of generalized backward induction. Games Econ. Behav., 88, 221\u2013241.","journal-title":"Games Econ. Behav."},{"key":"9629_CR10","doi-asserted-by":"crossref","unstructured":"Bonanno, G. (2015). Counterfactuals and the Prisoner\u2019s Dilemma. In The Prisoner\u2019s Dilemma, pp. 133\u2013155. Cambridge University Press.","DOI":"10.1017\/CBO9781107360174.009"},{"issue":"2","key":"9629_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.jal.2010.06.002","volume":"9","author":"JM Broersen","year":"2011","unstructured":"Broersen, J.M. (2011a). Deontic Epistemic stit Logic Distinguishing Modes of Mens Rea. J. Appl. Log., 9(2), 137\u2013152.","journal-title":"J. Appl. Log."},{"issue":"4","key":"9629_CR12","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s10992-011-9190-6","volume":"40","author":"JM Broersen","year":"2011","unstructured":"Broersen, J.M. (2011b). Making a Start with the stit Logic Analysis of Intentional Action. J. Philos. Log., 40(4), 499\u2013530.","journal-title":"J. Philos. Log."},{"key":"9629_CR13","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/j.ijar.2012.08.007","volume":"54","author":"JM Broersen","year":"2013","unstructured":"Broersen, J.M. (2013). Probabilistic stit Logic and its Decomposition. Int. J. Approx. Reason., 54, 467\u2013477.","journal-title":"Int. J. Approx. Reason."},{"key":"9629_CR14","doi-asserted-by":"crossref","unstructured":"Broersen, J.M. (2014). On the Reconciliation of Logics of Agency and Logics of Event Types. In R. Trypuz (Ed.) Krister Segerberg on Logic of Actions, volume 1 of Outstanding Contributions to Logic (pp. 41\u201359). Netherlands: Springer.","DOI":"10.1007\/978-94-007-7046-1_3"},{"key":"9629_CR15","doi-asserted-by":"crossref","unstructured":"Broersen, J.M., & Herzig, A. (2015). Using STIT Theory to Talk About Strategies. In J. Benthem, S. Ghosh, & S. Verbrugge (Eds.) Models of Strategic Reasoning. Logics, Games, and Communities (pp. 137\u2013173). Berlin: Springer.","DOI":"10.1007\/978-3-662-48540-8_5"},{"issue":"4","key":"9629_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.entcs.2006.02.011","volume":"157","author":"JM Broersen","year":"2006","unstructured":"Broersen, J.M., Herzig, A., & Troquard, N. (2006). From coalition logic to STIT. Electron. Notes Theor. Comput. Sci., 157(4), 23\u201335.","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9629_CR17","unstructured":"Broersen, J.M., & Ram\u00edrez Abarca, A.I. (2018). Knowledge and Subjective Oughts in STIT Logic. In J.M. Broersen, C. Condoravdi, S. Nair, & G. Pigozzi (Eds.) Deontic Logic and Normative Systems, 14th International Conference (DEON 2018) (pp. 51\u201369). Milton Keynes: College Publications."},{"key":"9629_CR18","unstructured":"Canavotto, I. (2020). Where Resposibility Takes You. Logics of Agency, Counterfactuals and Norms. PhD thesis, Institute for logic, Language and Computation. University of Amsterdam."},{"key":"9629_CR19","doi-asserted-by":"crossref","unstructured":"Ciuni, R., & Horty, J.F. (2014). Stit Logics, Games, Knowledge, and Freedom. In A. Baltag, S. Smets, & J. van Benthem (Eds.) on Logic and Information Dynamics, volume 5 of Outstanding Contributions to Logic (pp. 631\u2013656). Cham: Springer.","DOI":"10.1007\/978-3-319-06025-5_23"},{"key":"9629_CR20","doi-asserted-by":"crossref","unstructured":"Ciuni, R., & Mastop, R. (2009). Attributing Distributed Responsibility in Stit Logic. In X. He, J.F. Horty, & E. Pacuit (Eds.) Logic, Rationality, and Interaction (pp. 66\u201375). Berlin: Springer.","DOI":"10.1007\/978-3-642-04893-7_6"},{"issue":"32","key":"9629_CR21","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1017\/S0266267115000474","volume":"2","author":"F Dietrich","year":"2016","unstructured":"Dietrich, F., & List, C. (2016). Reason-based Choice and Context-dependence: An explanatory framework. Econ. Philos., 2(32), 175\u2013229.","journal-title":"Econ. Philos."},{"key":"9629_CR22","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., & Jerzy, T. (2000). Dynamic Logic. The MIT Press, Cambridge.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"9629_CR23","doi-asserted-by":"crossref","unstructured":"Herzig, A., & Troquard, N. (2006). Knowing how to play: Uniform choices in logics of agency. In: Proceedings of the 5th International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-06), pp. 209\u2013216. The Association for Computing Machinery Press, New York.","DOI":"10.1145\/1160633.1160666"},{"issue":"1","key":"9629_CR24","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10849-009-9105-x","volume":"19","author":"A Herzig","year":"2010","unstructured":"Herzig, A., & Lorini, E. (2010). A dynamic logic of agency I: STIT, capabilities and Powers. J. Log. Lang. Inf., 19(1), 89\u2013121.","journal-title":"J. Log. Lang. Inf."},{"key":"9629_CR25","doi-asserted-by":"crossref","unstructured":"Horty, J. F. (2001). Agency and Deontic Logic. Oxford University Press, Oxford.","DOI":"10.1093\/0195134613.001.0001"},{"key":"9629_CR26","doi-asserted-by":"crossref","unstructured":"Horty, J.F. (2012). Reasons as Defaults. Oxford University Press, Oxford.","DOI":"10.1093\/acprof:oso\/9780199744077.001.0001"},{"issue":"4","key":"9629_CR27","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1017\/S1755020317000016","volume":"10","author":"JF Horty","year":"2017","unstructured":"Horty, J.F., & Pacuit, E. (2017). Action types in stit semantics. Rev. Symbol. Log., 10(4), 617\u2013637.","journal-title":"Rev. Symbol. Log."},{"issue":"6","key":"9629_CR28","doi-asserted-by":"publisher","first-page":"2481","DOI":"10.1111\/1468-0262.00382","volume":"70","author":"G Kalai","year":"2002","unstructured":"Kalai, G., Rubinstein, A., & Spiegler, R. (2002). Rationalizing choice functions by mutltiple rationales. Econometrica, 70(6), 2481\u20132488.","journal-title":"Econometrica"},{"issue":"1","key":"9629_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10992-007-9049-z","volume":"37","author":"B Kooi","year":"2008","unstructured":"Kooi, B., & Tamminga, A. (2008). Moral conflicts between groups of agents. J. Philos. Log., 37(1), 1\u201321.","journal-title":"J. Philos. Log."},{"key":"9629_CR30","unstructured":"Lewis, D. (1973). Counterfactuals. Harvard University Press, Cambridge."},{"issue":"4","key":"9629_CR31","doi-asserted-by":"publisher","first-page":"455","DOI":"10.2307\/2215339","volume":"13","author":"D Lewis","year":"1979","unstructured":"Lewis, D. (1979). Counterfactual dependence and time\u2019s arrow. Nous, 13(4), 455\u2013476.","journal-title":"Nous"},{"issue":"6","key":"9629_CR32","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1093\/logcom\/ext072","volume":"24","author":"E Lorini","year":"2014","unstructured":"Lorini, E., & Longin, D. (2014). Eunate mayor. A logical analysis of responsibility attribution: Emotions, individuals and collectives. J. Log. Comput., 24 (6), 1313\u20131339.","journal-title":"J. Log. Comput."},{"issue":"4","key":"9629_CR33","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1007\/s11225-015-9636-x","volume":"104","author":"E Lorini","year":"2016","unstructured":"Lorini, E., & Sartor, G. (2016). A STIT logic for reasoning about social influence. Studia Log., 104(4), 773\u2013812.","journal-title":"Studia Log."},{"key":"9629_CR34","unstructured":"M\u00fcller, T. (2005). On the Formal Structure of Continuous Action. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, & H. Wansing (Eds.) Advances in Modal Logic, (Vol. 5 pp. 191\u2013209). London: King\u2019s College Publications."},{"issue":"1","key":"9629_CR35","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M Pauly","year":"2002","unstructured":"Pauly, M. (2002). A modal logic for coalitional power in games. J. Log. Comput., 12(1), 149\u2013166.","journal-title":"J. Log. Comput."},{"key":"9629_CR36","unstructured":"Pearl, J. (2000). Causality. Models, Reasoning, and Inference. Cambridge University Press, Cambridge."},{"key":"9629_CR37","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.geb.2013.11.008","volume":"83","author":"A Perea","year":"2014","unstructured":"Perea, A. (2014). Belief in the opponents\u2019 future rationality. Games Econ. Behav., 83, 231\u2013254.","journal-title":"Games Econ. Behav."},{"issue":"2","key":"9629_CR38","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s11229-005-0617-x","volume":"154","author":"T Placek","year":"2007","unstructured":"Placek, T., & M\u00fcller, T. (2007). Counterfactuals and historical possibility. Synthese, 154(2), 173\u2013197.","journal-title":"Synthese"},{"key":"9629_CR39","doi-asserted-by":"crossref","unstructured":"Selten, R., & Leopold, U. (1982). Subjunctive Conditionals in Decision and Game Theory. In Philosophy of Economics, pp. 191\u2013200. Springer.","DOI":"10.1007\/978-3-642-68820-1_11"},{"issue":"4","key":"9629_CR40","doi-asserted-by":"publisher","first-page":"745","DOI":"10.2307\/2171939","volume":"65","author":"A Sen","year":"1997","unstructured":"Sen, A. (1997). Maximization and the act of choice. Econometrica, 65(4), 745\u2013779.","journal-title":"Econometrica"},{"key":"9629_CR41","doi-asserted-by":"crossref","unstructured":"Shin, H.S. (1992). Counterfactuals and a Theory of Equilibrium in Games. In C. Bicchieri M.L.D. Chiara (Eds.) Knowledge, Belief, and Strategic Interaction (pp. 397\u2013413). Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9780511983474.024"},{"key":"9629_CR42","unstructured":"Shoham, Y. (1989). Time for Action: On the Relation between Time, Knowledge and Action. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI\u201989), vol. 2, pp. 954\u2013959. Morgan Kaufmann Publishers, San Francisco."},{"key":"9629_CR43","doi-asserted-by":"crossref","unstructured":"Skyrms, B. (1998). Bayesian Subjunctive Conditionals for Games and Decisions. In Game Theory, Experience, Rationality, pp. 161\u2013172.","DOI":"10.1007\/978-94-017-1654-3_14"},{"issue":"1","key":"9629_CR44","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2307\/2184345","volume":"87","author":"MA Slote","year":"1978","unstructured":"Slote, M.A. (1978). Time in counterfactuals. Philos. Rev., 87(1), 3\u201327.","journal-title":"Philos. Rev."},{"key":"9629_CR45","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1017\/S0266267100004132","volume":"12","author":"R Stalnaker","year":"1996","unstructured":"Stalnaker, R. (1996). Knowledge: Belief and counterfactual reasoning in games. Econ. Philos., 12, 133\u2013163.","journal-title":"Econ. Philos."},{"key":"9629_CR46","doi-asserted-by":"crossref","unstructured":"Stalnaker, R.C. (1968). A Theory of Conditionals. In R. Nicholas (Ed.) Studies in Logical Theory (pp. 98\u2013112). Oxford: Basil Blackwell.","DOI":"10.1007\/978-94-009-9117-0_2"},{"issue":"1","key":"9629_CR47","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0165-4896(98)00007-9","volume":"36","author":"RC Stalnaker","year":"1998","unstructured":"Stalnaker, R.C. (1998). Belief revision in games: Forward and backward induction. Math. Soc. Sci., 36(1), 31\u201356.","journal-title":"Math. Soc. Sci."},{"issue":"1","key":"9629_CR48","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10670-011-9349-0","volume":"78","author":"S Tamminga","year":"2013","unstructured":"Tamminga, S. (2013). Deontic logic for strategic games. Erkenntnis, 78(1), 183\u2013200.","journal-title":"Erkenntnis"},{"key":"9629_CR49","doi-asserted-by":"crossref","unstructured":"Thomason, R.H., & Gupta, A. (1981). A Theory of Conditionals in the Context of Branching Time. In W.L. Harper, R.C. Stalnaker, & G. Pearce (Eds.) IFS: Conditionals, Belief, Decision, Chance and Time (pp. 299\u2013322). Netherlands: Springer.","DOI":"10.1007\/978-94-009-9117-0_15"},{"key":"9629_CR50","unstructured":"Troquard, N., & Vieu, L. (2006). Towards a Logic of Agency and Actions with Duration. In: European Conference on Artificial Intelligence 2006 (ECAI\u201906), volume 141 of Frontiers in Artificial Intelligence and Applications, pp. 775\u2013776. IOS Press, Amsterdam."},{"key":"9629_CR51","unstructured":"Turrini, P. (2012). Agreements as Norms. In T. \u00c5gotnes, J. Broersen, & D. Elgesem (Eds.) Deontic Logic in Computer Science, 11th International Conference (DEON 2011) (pp. 31\u201345). Berlin: Springer."},{"issue":"2","key":"9629_CR52","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1004948726086","volume":"112","author":"M Xu","year":"1997","unstructured":"Xu, M. (1997). Causation in branching time (I): Transitions, events and causes. Synthese, 112(2), 137\u2013192.","journal-title":"Synthese"},{"issue":"4","key":"9629_CR53","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10849-009-9119-4","volume":"19","author":"M Xu","year":"2010","unstructured":"Xu, M. (2010). Combinations of Stit and Actions. J. Log. Lang. Inf., 19(4), 485\u2013503.","journal-title":"J. Log. Lang. Inf."},{"key":"9629_CR54","doi-asserted-by":"crossref","unstructured":"Zambrano, E. (ed.) (2004). Counterfactual Reasoning and Common Knowledge of Rationality in Normal Form Games. Top. Theor. Econ. 4(8).","DOI":"10.2202\/1534-598X.1020"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-021-09629-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-021-09629-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-021-09629-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,11]],"date-time":"2023-11-11T06:07:26Z","timestamp":1699682846000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-021-09629-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,15]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["9629"],"URL":"https:\/\/doi.org\/10.1007\/s10992-021-09629-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2021,10,15]]},"assertion":[{"value":"19 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 July 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 October 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}