2000 character limit reached
Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals (2304.02964v1)
Published 6 Apr 2023 in cs.LO
Abstract: 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.