TY - JOUR
T1 - Characterizing counterfactuals and dependencies over (generalized) causal teams
AU - Barbero, Fausto
AU - Yang, Fan
PY - 2022/8
Y1 - 2022/8
N2 - We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.
AB - We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.
UR - https://researchportal.helsinki.fi/en/publications/9b97cb0a-d0b8-4bbf-81ce-8b55352ad9bd
U2 - 10.1215/00294527-2022-0017
DO - 10.1215/00294527-2022-0017
M3 - Article
SN - 0029-4527
VL - 63
SP - 301
EP - 341
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
IS - 3
ER -