Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals
Fausto Barbero, Jonni Virtema · arXiv (Cornell University) · 2023
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.