Probabilistic Belief Logic and Its Probabilistic Aumann Semantics
曹子宁, 石纯一 · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2003
In this paper, we present a logic system for probabilistic belief named PBL,which expands the language of belief logic by introducing probabilistic belief. Furthermore, wegive the probabilistic Aumann semantics of PBL. We also list some valid properties of belief andprobabilistic belief, which form the deduction system of PBL. Finally, we prove the soundness andcompleteness of these properties with respect to probabilistic Aumann semantics.