You are about to access our book library "CTL* and ECTL* as fragments of the modal u-calculus full version" .