CIS 301. Fixed-point characterizations of CTL connectives.