{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T06:32:55Z","timestamp":1772087575900,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,12,19]],"date-time":"2020-12-19T00:00:00Z","timestamp":1608336000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,12,19]],"date-time":"2020-12-19T00:00:00Z","timestamp":1608336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002341","name":"Academy of Finland","doi-asserted-by":"publisher","award":["286991"],"award-info":[{"award-number":["286991"]}],"id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002341","name":"Academy of Finland","doi-asserted-by":"crossref","award":["286991"],"award-info":[{"award-number":["286991"]}],"id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100002341","name":"Academy of Finland","doi-asserted-by":"publisher","award":["316460"],"award-info":[{"award-number":["316460"]}],"id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the (in)dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation (Pearl, Hitchcock, Woodward, among others). We show that the \u201ccausal teams\u201d we introduce in the present paper can be used for modelling some classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition.<\/jats:p>","DOI":"10.1007\/s10992-020-09573-6","type":"journal-article","created":{"date-parts":[[2020,12,19]],"date-time":"2020-12-19T06:02:40Z","timestamp":1608357760000},"page":"471-521","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions"],"prefix":"10.1007","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0959-6977","authenticated-orcid":false,"given":"Fausto","family":"Barbero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Sandu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,19]]},"reference":[{"key":"9573_CR1","unstructured":"Barbero, F., & Sandu, G. (2017). Team semantics for interventionist counterfactuals and causal dependence. arXiv:1610.03406."},{"key":"9573_CR2","doi-asserted-by":"crossref","unstructured":"Barbero, F., & Sandu, G. (2019). Interventionist counterfactuals on causal teams. In Finkbeiner, B., & Kleinberg, S. (Eds.) Proceedings 3rd Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, Thessaloniki, Greece, 21st April 2018. vol. 286 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association (pp. 16\u201330).","DOI":"10.4204\/EPTCS.286.0"},{"key":"9573_CR3","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s11098-012-9908-5","volume":"1","author":"R Briggs","year":"2012","unstructured":"Briggs, R. (2012). Interventionist counterfactuals. Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition 160, 1, 139\u2013166.","journal-title":"Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition 160"},{"key":"9573_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1093\/jigpal\/jzn030","volume":"17","author":"X Caicedo","year":"2009","unstructured":"Caicedo, X., Dechesne, F., & Janssen, T.M.V. (2009). Equivalence and quantifier rules for logic with imperfect information. Logic Journal of the IGPL, 17, 91\u2013129.","journal-title":"Logic Journal of the IGPL"},{"key":"9573_CR5","doi-asserted-by":"publisher","first-page":"673","DOI":"10.2307\/2695036","volume":"66","author":"P Cameron","year":"2001","unstructured":"Cameron, P., & Hodges, W. (2001). Some combinatorics of imperfect information. Journal of Symbolic Logic, 66, 673\u2013684.","journal-title":"Journal of Symbolic Logic"},{"issue":"10","key":"9573_CR6","doi-asserted-by":"publisher","first-page":"732","DOI":"10.3765\/salt.v26i0.3811","volume":"26","author":"I Ciardelli","year":"2016","unstructured":"Ciardelli, I. (2016). Lifting conditionals to inquisitive semantics. Semantics and Linguistic Theory, 26(10), 732.","journal-title":"Semantics and Linguistic Theory"},{"issue":"1","key":"9573_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10992-010-9142-6","volume":"40","author":"I Ciardelli","year":"2011","unstructured":"Ciardelli, I., & Roelofsen, F. (2011). Inquisitive logic. Journal of Philosophical Logic, 40(1), 55\u201394.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9573_CR8","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/s10988-018-9232-4","volume":"41","author":"I Ciardelli","year":"2018","unstructured":"Ciardelli, I., Zhang, L., & Champollion, L. (2018). Two switches in the theory of counterfactuals. Linguistics and Philosophy, 41(6), 577\u2013621.","journal-title":"Linguistics and Philosophy"},{"key":"9573_CR9","doi-asserted-by":"crossref","unstructured":"Corander, J., Hyttinen, A., Kontinen, J., Pensar, J., & V\u00e4\u00e4n\u00e4nen, J. (2016). A logical approach to context-specific independence. In Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (pp. 165\u2013182).","DOI":"10.1007\/978-3-662-52921-8_11"},{"key":"9573_CR10","doi-asserted-by":"crossref","unstructured":"Durand, A., Hannula, M., Kontinen, J., Meier, A., & Virtema, J. (2016). Approximation and dependence via multiteam semantics. In Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems, (Vol. LNCS 9616 pp. 271\u2013291): Springer.","DOI":"10.1007\/978-3-319-30024-5_15"},{"issue":"1","key":"9573_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1009602825894","volume":"3","author":"D Galles","year":"1998","unstructured":"Galles, D., & Pearl, J. (1998). An axiomatic characterization of causal counterfactuals. Foundations of Science, 3(1), 151\u2013182.","journal-title":"Foundations of Science"},{"issue":"1","key":"9573_CR12","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","volume":"163","author":"P Galliani","year":"2012","unstructured":"Galliani, P. (2012). Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information. Annals of Pure and Applied Logic, 163(1), 68\u201384.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9573_CR13","doi-asserted-by":"crossref","unstructured":"Galliani, P. (2013). Upwards closed dependencies in team semantics. In Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013 (pp. 93\u2013106).","DOI":"10.4204\/EPTCS.119.10"},{"key":"9573_CR14","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E., & V\u00e4\u00e4n\u00e4nen, J. (2013). Dependence and independence. Studia Logica, 101, 399\u2013410.","journal-title":"Studia Logica"},{"key":"9573_CR15","doi-asserted-by":"crossref","unstructured":"Halpern, J. (2016). Actual Causality. MIT Press.","DOI":"10.7551\/mitpress\/10809.001.0001"},{"issue":"1","key":"9573_CR16","first-page":"317","volume":"12","author":"JY Halpern","year":"2000","unstructured":"Halpern, J.Y. (2000). Axiomatizing causal reasoning. J. Artif. Int. Res., 12(1), 317\u2013337.","journal-title":"J. Artif. Int. Res."},{"issue":"4","key":"9573_CR17","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y., & Pearl, J. (2005). Causes and explanations: a structural-model approach. part i: Causes. The British Journal for the Philosophy of Science, 56(4), 843\u2013887.","journal-title":"The British Journal for the Philosophy of Science"},{"key":"9573_CR18","doi-asserted-by":"crossref","unstructured":"Hausman, D.M. (1998). Causal asymmetries. Cambridge University Press.","DOI":"10.1017\/CBO9780511663710"},{"key":"9573_CR19","doi-asserted-by":"crossref","unstructured":"Hintikka, J., & Sandu, G. (1989). Informational independence as a semantical phenomenon. In Fenstad, J.E., & et al. (Eds.) Logic, Methodology and Philosophy of Science VIII (pp. 571\u2013589): Elsevier Science Publishers B.V.","DOI":"10.1016\/S0049-237X(08)70066-1"},{"issue":"06","key":"9573_CR20","doi-asserted-by":"publisher","first-page":"273","DOI":"10.2307\/2678432","volume":"98","author":"C Hitchcock","year":"2001","unstructured":"Hitchcock, C. (2001). The intransitivity of causation revealed in equations and graphs. The Journal of Philosophy, 98(06), 273\u2013299.","journal-title":"The Journal of Philosophy"},{"issue":"3","key":"9573_CR21","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1215\/00318108-110-3-361","volume":"110","author":"C Hitchcock","year":"2001","unstructured":"Hitchcock, C. (2001). A tale of two effects. Philosophical Review, 110(3), 361\u2013396.","journal-title":"Philosophical Review"},{"key":"9573_CR22","doi-asserted-by":"crossref","unstructured":"Hitchcock, C. Causal modelling. In Beebee, H., Hitchcock, C., & Menzies, P. (Eds.) The Oxford Handbook of Causation (p. 2009): Oxford University Press.","DOI":"10.1093\/oxfordhb\/9780199279739.003.0015"},{"key":"9573_CR23","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W. (1997). Compositional semantics for a language of imperfect information. Logic Journal of the IGPL, 5, 539\u2013563.","journal-title":"Logic Journal of the IGPL"},{"key":"9573_CR24","doi-asserted-by":"crossref","unstructured":"Hodges, W. (1997). Some strange quantifiers. In Mycielski, J., Rozenberg, G., & Salomaa, A. (Eds.) Structures in Logic and Computer Science. Lecture Notes in Computer sci, (Vol. 1261 pp. 51\u201365). London: Springer.","DOI":"10.1007\/3-540-63246-8_4"},{"issue":"04","key":"9573_CR25","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1017\/S1755020315000192","volume":"08","author":"T Hyttinen","year":"2015","unstructured":"Hyttinen, T., Paolini, G., & V\u00e4\u00e4n\u00e4nen, J. (2015). Quantum team logic and Bell\u2019s inequalities. Review of Symbolic Logic, 08(04), 722\u2013742.","journal-title":"Review of Symbolic Logic"},{"issue":"6","key":"9573_CR26","doi-asserted-by":"publisher","first-page":"1136","DOI":"10.1111\/cogs.12063","volume":"37","author":"S Kaufmann","year":"2013","unstructured":"Kaufmann, S. (2013). Causal premise semantics. Cognitive Science, 37(6), 1136\u20131170.","journal-title":"Cognitive Science"},{"key":"9573_CR27","doi-asserted-by":"crossref","unstructured":"Kontinen, J., & Nurmi, V. (2009). Team logic and second-order logic. In Ono, H., Kanazawa, M., & de Queiroz, R. (Eds.) Logic, Language, Information and Computation: Lecture Notes in Computer Science 5514 (pp. 230\u2013241). Berlin: Springer.","DOI":"10.1007\/978-3-642-02261-6_19"},{"issue":"17","key":"9573_CR28","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Causation. Journal of Philosophy, 70(17), 556\u2013567.","journal-title":"Journal of Philosophy"},{"key":"9573_CR29","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Oxford: Blackwell publishers."},{"key":"9573_CR30","unstructured":"Mann, A.L., Sandu, G., & Sevenster, M. (2011). Independence-Friendly logic - a game-theoretic approach, vol. 386 of London Mathematical Society lecture note series. Cambridge University Press."},{"issue":"9","key":"9573_CR31","doi-asserted-by":"publisher","first-page":"462","DOI":"10.2307\/2026276","volume":"82","author":"V McGee","year":"1985","unstructured":"McGee, V. (1985). A counterexample to modus ponens. Journal of Philosophy, 82(9), 462\u2013471.","journal-title":"Journal of Philosophy"},{"key":"9573_CR32","volume-title":"Causality: Models, Reasoning, and Inference","author":"J Pearl","year":"2000","unstructured":"Pearl, J. (2000). Causality: Models, Reasoning, and Inference. New York: Cambridge University Press."},{"key":"9573_CR33","unstructured":"Pearl, J., Glymour, M., & Jewell, N.P. (2016). Causal inference in statistics: a primer. John Wiley & Sons."},{"key":"9573_CR34","unstructured":"Sano, K., & Virtema, J. (2015). Axiomatizing propositional dependence logics. In Kreutzer, S. (Ed.) 24th EACSL Annual Conference on Computer Science Logic. Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, pp. 292\u2013307. Volume: 41 Proceeding volume."},{"key":"9573_CR35","doi-asserted-by":"crossref","unstructured":"Schulz, KK. (2011). \u201cIf you\u2019d wiggled A, then B would\u2019ve changed\u201d. Causality and counterfactual conditionals Synthese 179 (03).","DOI":"10.1007\/s11229-010-9780-9"},{"key":"9573_CR36","doi-asserted-by":"crossref","unstructured":"Schulz, K. (2018). The similarity approach strikes back: negation in counterfactuals. In Sauerland, U, & Solt, S (Eds.) Proceedings of Sinn und Bedeutung 22 (pp. 343\u2013360).","DOI":"10.21248\/zaspil.61.2018.500"},{"key":"9573_CR37","volume-title":"Logic for Philosophy, Vol. 304","author":"T Sider","year":"2010","unstructured":"Sider, T. (2010). Logic for Philosophy Vol. 304. Oxford: Oxford University Press."},{"key":"9573_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2748-9","volume-title":"Causation Prediction, and Search, vol. 81 of Lecture Notes in Statistics","author":"P Spirtes","year":"1993","unstructured":"Spirtes, P., Glymour, C., & Scheines, R.N. (1993). Causation Prediction, and Search, vol. 81 of Lecture Notes in Statistics. New York: Springer."},{"key":"9573_CR39","doi-asserted-by":"crossref","unstructured":"Stalnaker, R.C. (1968). A theory of conditionals. Americal Philosophical Quarterly, pp 98\u2013112.","DOI":"10.1007\/978-94-009-9117-0_2"},{"key":"9573_CR40","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2007). Dependence logic: a new approach to Independence Friendly logic, vol. 70 of London Mathematical Society Student Texts. Cambridge University Press.","DOI":"10.1017\/CBO9780511611193"},{"key":"9573_CR41","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2008). Modal dependence logic, new perspectives on games and interaction. In Apt, K., & van Rooij, R. (Eds.) Vol. 5 of texts in logic and games (pp. 237\u2013254): Amsterdam University Press."},{"issue":"05","key":"9573_CR42","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1093\/jos\/ffh022","volume":"2","author":"F Veltman","year":"2005","unstructured":"Veltman, F. (2005). Making counterfactual assumptions. Journal of Semantics 22, 2(05), 159\u2013180.","journal-title":"Journal of Semantics 22"},{"key":"9573_CR43","volume-title":"Explanation and Understanding","author":"GH von Wright","year":"1971","unstructured":"von Wright, G.H. (1971). Explanation and Understanding. Ithaca: Cornell University Press."},{"key":"9573_CR44","unstructured":"Woodward, J. (2001). Probabilistic causality, direct causes and counterfactual dependence. Stochastic Causality, pp 39\u201363."},{"key":"9573_CR45","doi-asserted-by":"crossref","unstructured":"Woodward, J. (2003). Making things happen, vol. 114 of Oxford Studies in the Philosophy of Science. Oxford University Press.","DOI":"10.1093\/0195155270.001.0001"},{"issue":"1","key":"9573_CR46","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1017\/S1755020316000459","volume":"10","author":"F Yang","year":"2017","unstructured":"Yang, F. (2017). Uniform definability in propositional dependence logic. The Review of Symbolic Logic, 10(1), 65\u201379.","journal-title":"The Review of Symbolic Logic"},{"issue":"7","key":"9573_CR47","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/j.apal.2016.03.003","volume":"167","author":"F Yang","year":"2016","unstructured":"Yang, F., & V\u00e4\u00e4n\u00e4nen, J. (2016). Propositional logics of dependence. Annals of Pure and Applied Logic, 167(7), 557\u2013589.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"7","key":"9573_CR48","doi-asserted-by":"publisher","first-page":"1406","DOI":"10.1016\/j.apal.2017.01.007","volume":"168","author":"F Yang","year":"2017","unstructured":"Yang, F., & V\u00e4\u00e4n\u00e4nen, J. (2017). Propositional team logics. Annals of Pure and Applied Logic, 168(7), 1406\u20131441.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"9573_CR49","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s11023-011-9261-z","volume":"23","author":"J Zhang","year":"2013","unstructured":"Zhang, J. (2013). A Lewisian logic of causal counterfactuals. Minds and Machines, 23(1), 77\u201393.","journal-title":"Minds and Machines"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-020-09573-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-020-09573-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-020-09573-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,20]],"date-time":"2021-05-20T08:45:14Z","timestamp":1621500314000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-020-09573-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,19]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["9573"],"URL":"https:\/\/doi.org\/10.1007\/s10992-020-09573-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12,19]]},"assertion":[{"value":"31 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 September 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 December 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}