Collapsing Constructive and Intuitionistic Modal Logics

We prove that the constructive and intuitionistic variants of the modal logic $\mathsf{K}\mathsf{B}$ coincide. This result contrasts with a recent result by Das and Marin, who showed that the constructive and intuitionistic variants of $\mathsf{K}$ do not prove the same diamond-free formulas.