 The method of fusion of normal modal logics was introduced by R. Thomason (1984), and constitutes one of the first general methods for combining logics. In the original formulation, it combines normal modal logics presented syntactically and semantically (through Hilbert-style axioms and Kripke semantics, respectively). The main characteristics of the method are described in the following paragraphs.