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