1. Aumann, R.: Interactive epistemology I: knowledge. International Journal of Game Theory 28, 263–300 (1999)
2. Aumann, R.: Interactive epistemology II: probability. International Journal of Game Theory 28, 301–314 (1999)
3. Billingsley, P.: Probability and Measure. Wiley-Interscience (1995)
4. Cardelli, L., Larsen, K.G., Mardare, R.: Continuous markovian logic - from complete axiomatization to the metric space of formulas. In: CSL, pp. 144–158 (2011)
5. Desharnais, J., Edalat, A., Panangaden, P.: A logical characterization of bisimulation for labelled Markov processes. In: Proceedings of the 13th IEEE Symposium On Logic In Computer Science, Indianapolis, pp. 478–489. IEEE Press (June 1998)