论文标题
对因果团队的反事实和依赖性：表现力和推论系统
Counterfactuals and dependencies on causal teams: expressive power and deduction systems
论文作者
论文摘要
我们分析了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. As an intermediate step towards the completeness, we axiomatize the languages over a generalized version of causal team semantics, which turns out to be interesting also in its own right.
