Modal logic for m CRL door Groote