 Another application to the graph-theoretic account of logic is the definition of an asymmetric combination technique called importing logics (see Rasga et al. 2012). Temporalization, as well as its generalization, modalization (see Fajardo and Finger 2003 and Finger and Weiss 2002), are particular cases of importing logics. Under this approach, the combined language is endowed with an explicit constructor called importing connective which transforms formulas of the imported logic into formulas of the importing logic. This is the main difference between the technique of importing logics and the related technique of parameterization (which also generalizes temporalization, see  subsection 4.5).  Semantically, each model of the resulting logic obtained by the method of importing logics is a pair composed of a model of the importing logic and a model of the imported logic, plus the interpretation of the importing connective. In Rasga et al. 2014 a new formulation of algebraic fibring, called biporting, was introduced, which turns out to be equivalent to the original one. From this, it is possible to prove that some particular cases of importing, like temporalization, modalization and globalization, are subsumed by fibring.