Reasoning about uncertainty / Joseph Y. Halpern. Cambridge, MA ; London, England : The MIT Press, 2017, © 2017