Modal logic for m CRL by Groote