因果与广义因果团队上反事实与依赖的刻画
逻辑
2022-01-24 v1
摘要
我们分析了 Barbero 与 Sandu（2018）引入的因果-观测语言，其允许在统一框架中讨论干预主义反事实与函数依赖。特别地，我们系统地考察了这些语言在因果团队语义中的表达能力，并为每种语言提供了完全的自然演绎演算。此外，我们引入了一种广义语义，其允许表示关于因果律的不确定性，并分析了因果-观测语言在这一丰富语义上的表达能力与证明论。
引用
@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}
}
备注
arXiv admin note: text overlap with arXiv:2004.00952