  Asymmetric combination of logics is a formal process that develops the
characteristic features of a specific logic on top of another one. Typical
examples include the development of temporal, hybrid, and probabilistic
dimensions over a given base logic. These examples are surveyed in the paper
under a particular perspective - that this sort of combination of logics
possesses a functorial nature. Such a view gives rise to several interesting
questions. They range from the problem of combining translations (between
logics), to that of ensuring property preservation along the process, and the
way different asymmetric combinations can be related through appropriate
natural transformations.
