福斯托·巴贝罗；杨，范 反事实和对因果团队的依赖：表达能力和演绎系统。 （英语） Zbl 07585708号 Olivetti，Nicola（编辑）等人，《模态逻辑的进展》。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24日至28日。伦敦：学院出版物。73-93 (2020). 摘要：我们分析了在[F.巴贝罗和G.三都，“干预主义反事实和因果依赖的团队语义”，预印本，arXiv:1712.08661]，它允许在一个统一的框架中讨论干预主义反事实和函数依赖。特别是，我们系统地研究了这些语言在因果团队语义中的表达能力，并为每种语言提供了完整的自然演绎计算。作为迈向完整性，我们将语言公理化为因果团队语义的广义版本，这本身也很有趣。关于整个系列，请参见[Zbl 1456.03003号]. 引用于2文件 MSC公司： 03B60号 其他非经典逻辑 关键词：干预主义反事实；因果团队；依赖逻辑；团队语义 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbero}和\textit{F.Yang}，in：模态逻辑的进展。第13卷。第十三届会议记录（AiML 2020），芬兰赫尔辛基，虚拟会议，2020年8月24-28日。伦敦：学院出版物。73-93（2020年；Zbl 07585708） 全文： arXiv公司