 On the other hand, one might be interested in creating new logic systems where different aspects are integrated, starting from given logics. This demand typically occurs in software engineering and security: knowledge representation, formal specification and verification of algorithms and protocols have a marked need for working with several logics. In a less pragmatical scenery, this would be the case if one is interested, for instance, in adding a modal dimension to an intuitionistic or a paraconsistent logic. Moreover, it is interesting to characterize which properties of the factors can be transferred to the combined logic. This direction is said to be a process of splicing logics.