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