Lately, many multi-agent systems (MAS) are designed as multi-modal systems [9, 15, 23, 22, 26, 28, 18]. Moreover, there are different techniques for combining logics, such as products, fibring, fusion, and modalisation, among others [1, 14, 16]. In this paper we focus on the combination of special-purpose logics for building “on demand” MAS. From these engineering point of view, among the most ...