Characterizing counterfactuals and dependencies over causal and generalized causal teams
Logic
2022-01-24 v1
Abstract
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 analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.
Cite
@article{arxiv.2201.08750,
title = {Characterizing counterfactuals and dependencies over causal and generalized causal teams},
author = {Fausto Barbero and Fan Yang},
journal= {arXiv preprint arXiv:2201.08750},
year = {2022}
}
Comments
arXiv admin note: text overlap with arXiv:2004.00952