Reasoning about Knowledge and Probability.

Ronald Fagin, Joseph Y. Halpern

Browse the full TARK paper archive.