Compositional Reasoning for Multi-modal Logics