Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals

04/06/2023

∙

by   Fausto Barbero, et al.

∙

0

∙

share

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.