A note on relativised products of modal logics
Agi Kurucz, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2002
One may think of many ways of combining modal logics representing various aspects of an application domain. Two ‘canonical ’ constructions, supported by a well-developed mathematical theory, are fusions [17, 6, 7] and products [8, 7]. The fusion L1 ⊗ · · · ⊗ Ln of n ≥ 2 normal propositional unimodal logics Li with the boxes