Realising Intensional S4 and GL Modalities