Causal multiteam semantics is a framework where probabilistic notions and causal inference can be studied in a unified setting. We study a logic (PCO) that features marginal probabilities and interventionist counterfactuals, and allows expressing conditional probability statements, do expressions and other mixtures of causal and probabilistic reasoning. Our main contribution is a strongly complete infinitary axiomatisation for PCO.

翻译：因果多元组语义是一个统一框架，可在其中研究概率概念与因果推断。本文研究一种包含边际概率和干预反事实的逻辑（PCO），该逻辑能够表达条件概率语句、“do”算子以及因果与概率推理的其他混合形式。我们的主要贡献是为PCO建立了一个强完全的无穷公理化系统。