Categorial grammar, modalities and algebraic semantics