Add definitions of LTL and CTL