 Besides Hume’s problem, another example of bimodal logic with intrinsic philosophical interest where bridge principles intervene is the logic of physical and alethic modalities. In this logic, the language permits the expression of two different notions of necessity: the logical necessity, symbolized by \(\square\), and the physical necessity, symbolized by \(\boxdot\).