Zining Cao Chunyi Shi Probabilistic Belief Logic and Its Probabilistic Aumann Semantics. 571-579 2003 18 J. Comput. Sci. Technol. 5 http://jcst.ict.ac.cn/cone/cone35.html#paper4 db/journals/jcst/jcst18.html#CaoS03