 \(\mathbf{B}^p_i(A)\) is to be read ‘\(i\) believes \(A\) (given \(i\)’s private information) with probability at least \(p\) at \(\omega\)’, or ‘\(i\) \(p\)-believes \(A\)’. The belief operator \(\mathbf{B}^p_i\) satisfies axioms K2, K3, and K4 of the knowledge operator. \(\mathbf{B}^p_i\) does not satisfy K1, but does satisfy the weaker property