Reasoning about uncertainty - Halpern, Joseph Y. 1953- (The MIT Press, 2017)