 With this new modality K it is possible to define, syntactically, the finer notion of conditional belief \(B^{\psi}\), intuitively describing what the agent would have believed was true had she learnt that a certain condition \(\psi\) is the case. Indeed,