On Probabilistic and Causal Reasoning with Summation Operators

Duligur Ibeling, Thomas F. Icard, Milan Mossé

Ibeling et al. (2023). axiomatize increasingly expressive languages of causation and probability, and Mosse et al. (2024) show that reasoning (specifically the satisfiability probl…