 With the formal background of epistemic logic in place, it is straightforward to slightly vary the framework in order to accommodate the concept of belief. Return to the language \(\mathcal{L}_{KB}\) of both knowledge and belief: