Modalities and Intensional Languages