Correct Proof Of Shafer'S Belief Conditioning Formulas

In his Mathematical Theory of Evidence published in 1976, Shafer did propose belief and plausibility conditioning formulas based on Dempster's rule of combination. It turns out that the proof given by Shafer for belief conditioning is incorrect and in this paper we present the correct proof of Shafer's belief conditioning formula.