对因果和广义因果团队的反事实和依赖性的表征
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
