 Theorem. For each pointed plausibility model \((M,w)\), we have:   \[ \textstyle M,w\models B_aF \quad\text{iff}\quad \min_a(\cc_a(w))\subseteq\sem{F}_M; \]   that is, agent a believes F (unconditionally) at world w if and only if F is true at the most plausible worlds that are consistent with a’s information. 