论文标题
表征与因果和普遍性因果团队的反事实和依赖关系
Characterizing counterfactuals and dependencies over causal and generalized causal teams
论文作者
论文摘要
我们分析了Barbero和Sandu（2018）中引入的因果观察语言，这些语言允许在统一框架中讨论干预主义的反事实和功能依赖性。特别是，我们系统地研究了这些语言在因果团队语义上的表达能力，并为每种语言提供完整的自然扣除曲线。此外，我们介绍了一种广义语义，该语义允许代表因果定律的不确定性，并分析了这种丰富的语义的因果观察语言的表达力和证明理论。
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.
