[1]

Paul LA, Hall EJ. 2013. Causation: a user’s guide. UK: Oxford University Press. doi: 10.1093/acprof:oso/9780199673445.001.0001
[2]

Bohm D. 1957. Causality and chance in modern physics. Princeton, NJ: Van Nostrand Company, Inc.
[3]

Wysocki T. 2026. The underdeterministic framework. The British Journal for the Philosophy of Science 77:245−270

doi: 10.1086/724450
[4]

Spirtes P, Glymour C, Scheines RN. 1993. Causation, prediction, and search. Vol. 81. New York: Springer. doi: 10.1007/978-1-4612-2748-9
[5]

Pearl J. 2000. Causality: models, reasoning, and inference. New York, NY, USA: Cambridge University Press.
[6]

Peters J, Janzing D, Scholkopf B. 2017. Elements of Causal Inference: Foundations and Learning Algorithms. US: The MIT Press.
[7]

Schölkopf B. 2022. Causality for machine learning. In Probabilistic and causal inference: the works of Judea Pearl. New York, USA: Association for Computing Machinery. pp. 765–804 doi: 10.1145/3501714.3501755
[8]

Hernan MA, Robins J. 2020. Causal inference: what if. Boca Raton: Chapman & Hill/CRC.
[9]

Heckman JJ, Vytlacil EJ. 2007. Econometric evaluation of social programs, part I: causal models, structural models and econometric policy evaluation. Handbook of Econometrics 6:4779−4874

doi: 10.1016/s1573-4412(07)06070-9
[10]

Morgan SL, Winship C. 2015. Counterfactuals and causal inference. New York, UK: Cambridge University Press. doi: 10.1017/CBO9781107587991
[11]

Galles D, Pearl J. 1998. An axiomatic characterization of causal counterfactuals. Foundations of Science 3(1):151−182

doi: 10.1023/A:1009602825894
[12]

Halpern JY. 2000. Axiomatizing causal reasoning. Journal of Artificial Intelligence Research 12(1):317−337

doi: 10.1613/jair.648
[13]

Halpern JY. 2016. Actual Causality. Cambridge, Massachussetts: The MIT Press.
[14]

Briggs R. 2012. Interventionist counterfactuals. Philosophical Studies 160(1):139−166

doi: 10.1007/s11098-012-9908-5
[15]

Zhang J. 2013. A Lewisian logic of causal counterfactuals. Minds and Machines 23(1):77−93

doi: 10.1007/s11023-011-9261-z
[16]

Ibeling D, Icard T. 2020. Probabilistic reasoning across the causal hierarchy. Proceedings of the AAAI Conference on Artificial Intelligence 34:10170−10177

doi: 10.1609/aaai.v34i06.6577
[17]

Halpern JY, Peters S. 2022. Reasoning about causal models with infinitely many variables. Proceedings of the AAAI Conference on Artificial Intelligence 36:5668−5675

doi: 10.1609/aaai.v36i5.20508
[18]

Barbero F, Schulz K, Velazquez-Quesada FR, Xie K. 2022. Observing interventions: a logic for thinking about experiments. Journal of Logic and Computation 33:1152−1185

doi: 10.1093/logcom/exac011
[19]

Barbero F, Yang F. 2022. Characterizing counterfactuals and dependencies over (generalized) causal teams. Notre Dame Journal of Formal Logic 63(3):301−341

doi: 10.1215/00294527-2022-0017
[20]

Beckers S, Halpern J, Hitchcock C. 2023. Causal models with constraints. Proceedings of the Second Conference on Causal Learning and Reasoning, Tubingen, Germany, 2023. PMLR. pp. 866–879. https://proceedings.mlr.press/v213/beckers23a/beckers23a.pdf (accessed on 30 April 2026)
[21]

Barbero F, Virtema J. 2023. Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. Logics in artificial intelligence, eds. Gaggl S, Martinez MV, Ortiz M. Cham: Springer. pp. 649–664 doi: 10.1007/978-3-031-43619-2_44
[22]

Fang J, Zhang J. 2023. A characterization of Lewisian causal models. International Workshop on Logic, Rationality and Interaction. LORI 2023. Lecture Notes in Computer Science. Cham: Springer. pp. 94–108 doi: 10.1007/978-3-031-45558-2_8
[23]

Kawamoto Y, Sato T, Suenaga K. 2023. Formalizing statistical causality via modal logic. European Conference on Logics in Artificial Intelligence, JELIA 2023. Lecture Notes in Computer Science. Cham: Springer. pp. 681–696 doi: 10.1007/978-3-031-43619-2_46
[24]

Ding Y, Manoorkar K, Tzimoulis A, Wang R, Wang X. 2023. Causal kripke models. Electronic Proceedings in Theoretical Computer Science 379:185−200

doi: 10.4204/EPTCS.379.16
[25]

Peters S, Halpern JY. 2021. Causal modeling with infinitely many variables. arXiv Preprint

doi: 10.48550/arXiv.2112.09171
[26]

Beckers S. 2025. Nondeterministic causal models. Proceedings of the Fourth Conference on Causal Learning and Reasoning. Proceedings of Machine Learning Research, Lausanne, Switzerland, 2025, eds. Huang B, Drton M. Vol. 275. PMLR. pp. 1532–1554 https://proceedings.mlr.press/v275/beckers25b.html
[27]

Beckers S. 2025. Actual causation and nondeterministic causal models. arXiv Preprint

doi: 10.48550/arXiv.2503.07849
[28]

Barbero F, Sandu G. 2021. Team semantics for interventionist counterfactuals: observations vs. interventions. Journal of Philosophical Logic 50:471−521

doi: 10.1007/s10992-020-09573-6
[29]

Strasser C, Antonelli GA. 2024. Non-monotonic Logic. In The Stanford Encyclopedia of Philosophy (Winter 2024 Edition), eds. Zalta EN, Nodelman U. https://plato.stanford.edu/entries/logic-nonmonotonic/index.html
[30]

Barbero F, Galliani P. 2022. Embedding causal team languages into predicate logic. Annals of Pure and Applied Logic 173:103159

doi: 10.1016/j.apal.2022.103159
[31]

Pearl J. 2017. Physical and metaphysical counterfactuals: evaluating disjunctive actions. Journal of Causal Inference 5(2):20170018

doi: 10.1515/jci-2017-0018
[32]

Blackburn P, De Rijke M, Venema Y. 2001. Modal Logic. Vol. 53. Cambridge, England: Cambridge University Press.
[33]

Wang Y, Cao Q. 2013. On axiomatizations of public announcement logic. Synthese 190:103−134

doi: 10.1007/s11229-012-0233-5
[34]

Woodward J. 2003. Making things happen: a theory of causal explanation. Vol. 114. Oxford Studies in the Philosophy of Science. Oxford University Press.
[35]

Zhang J, Lam WY, De Clercq R. 2013. A peculiarity in Pearl's logic of interventionist counterfactuals. Journal of Philosophical Logic 42:783−794

doi: 10.1007/s10992-012-9249-z
[36]

Barbero F, Virtema J. 2024. Expressivity landscape for logics with probabilistic interventionist counterfactuals. 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Vol. 288. Schloss Dagstuhl-Leibniz-Zentrum für Informatik. pp. 15:1−15:19 doi: 10.4230/LIPIcs.CSL.2024.15
[37]

Barbero F, Sandu G. 2024. Multiteam semantics for interventionist counterfactuals: probabilities and causation. Journal of Philosophical Logic 53(6):1537−1577

doi: 10.1007/s10992-024-09777-0
[38]

Barbero F. 2024. On the logic of interventionist counterfactuals under indeterministic causal laws. International Symposium on Foundations of Information and Knowledge Systems. Cham: Springer. pp. 203–221 doi: 10.1007/978-3-031-56940-1_11
[39]

Ciardelli I, Zhang L, Champollion L. 2018. Two switches in the theory of counterfactuals: a study of truth conditionality and minimal change. Linguistics and Philosophy 41(6):577−621

doi: 10.1007/s10988-018-9232-4
[40]

Santorio P. 2019. Interventions in premise semantics. Philosophers’ Imprint 19(1):1−27
[41]

Wysocki T. 2023. An event algebra for causal counterfactuals. Philosophical Studies 180(12):3533−3565

doi: 10.1007/s11098-023-02015-4
[42]

Lewis D. 1973. Counterfactuals. Oxford: Blackwell Publishers. https://perso.uclouvain.be/peter.verdee/counterfactuals/lewis.pdf
[43]

Halpern JY. 2013. From causal models to counterfactual structures. The Review of Symbolic Logic 6(2):305−322

doi: 10.1017/S1755020312000305
[44]

Mossé M, Ibeling D, Icard T. 2024. Is causal reasoning harder than probabilistic reasoning? The Review of Symbolic Logic 17:106−131

doi: 10.1017/S1755020322000211