  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.
