We investigate the logical systems which result from introducing the modalities â–¡ and â—Š into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Our results lead to the formulation of a uniform labelled refutation system for these logics.