A modal aleatoric calculus for probabilistic reasoning
scientific article