106 citations · 200 across the 12 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2024
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…
math.LO2023★ 2 cited
Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning
Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski +1
This paper explores the space of (propositional) probabilistic logical languages, ranging from a purely `qualitative' comparative language to a highly `quantitative' language invol…