 Parameterization, in rough terms, consists of replacing the atomic part of a given logic \({{\cal L}}\) by another logic \({{\cal L}}'\). Thus, the logic \({{\cal L}}\) is the parameterized logic; the atomic part is the formal parameter and the logic \({{\cal L}}'\) is the parameter logic. Formally, a mixed signature based on the signature of \({{\cal L}}\) is considered, to which the formulas of \({{\cal L}}'\) are added as constants. In the particular case of temporalization, the parameter logic is a temporal logic. In turn, it can be proven that parameterization is a particular case of constrained fibring (recall  subsection 4.3).