Logic for reasoning about probabilities.Ronald FaginJoseph Y. Halpernet al.1987LICS 1987Conference paper