A Logical Approach to Reasoning about Uncertainty: A Tutorial [chapter]

J. Y. Halpern
1998 Discourse, Interaction and Communication  
I consider a logical framework for modeling uncertainty, based on the use of possible worlds, that incorporates knowledge, probability, and time. This turns out to be a powerful approach for modeling many problems of interest. I show how it can beused to give insights into (among other things) several well-known puzzles.
doi:10.1007/978-94-015-8994-9_8 fatcat:so5w5fbq4bfozlx7ud7fvwaoxm