 The notion of bridge principle lies in the scope of combination of languages. In general, many bridge principles can be made explicit within modal logic, and will be relevant for analyzing relationships among diverse modalities. For example, if we take necessity \(\square\) and possibility \(\lozenge\) as primitive operators, then  \[\lozenge p \to \neg\square\neg p\]   is an intuitionistically acceptable bridge principle, while the converse is not.