Enviar aquest missatge de text: Extended Comptation Tree Logic (Extended Abstract)