 Consider Kripke models of the form   \[\langle W,R,V\rangle\]   such that \(W\) is a non-empty set (the set of worlds), \(R\subseteq W\times W\) is a binary relation (the accessibility relation) and \(V: \mathbb{P} \to \wp W\) from the set of propositional variables into the power set of \(W\) is a valuation map. Let \({{\cal L}}_1\) and \({{\cal L}}_2\) be two propositional normal modal logics defined over the same classical signature which contains the connectives \(\neg\) (negation) and \(\to\) (implication). Denote by \(\square_1\) and \(\square_2\) the necessity operators of \({{\cal L}}_1\) and \({{\cal L}}_2\), respectively. Let \({{\cal M}}_1\) and \({{\cal M}}_2\) be the classes of Kripke models for \({{\cal L}}_1\) and \({{\cal L}}_2\), respectively. Since both logics are normal, it is granted that both modalities \(\square_1\) and \(\square_2\) satisfy the normality axiom \(K\) and the necessitation rule. The fusion of \({{\cal L}}_1\) and \({{\cal L}}_2\) is then defined to be the normal bimodal logic \({{\cal L}}\) with two independent boxes \(\square_1\) and \(\square_2\) together with the connectives \(\neg\) (negation) and \(\to\) (implication). The semantics of \({{\cal L}}\) is given by the class \({{\cal M}}\) of Kripke structures of the form   \[\langle W,R_1,R_2,V\rangle\]   such that \(\langle W,R_1,V\rangle\) and \(\langle W,R_2,V\rangle\) belong to \({{\cal M}}_1\) and \({{\cal M}}_2\), respectively. In other words, each structure of the fusion corresponds to a pair of models: a model \(\langle W,R_1,V\rangle\) for \({{\cal L}}_1\) and a model \(\langle W,R_2,V\rangle\) for \({{\cal L}}_2\) sharing the same set of worlds \(W\). Technically speaking, each structure of the fusion have, as a reduct, a model of \({{\cal L}}_1\) and a model of \({{\cal L}}_2\).