Question

What is a LTL formula that has no equivalent CTL formula?

Answer 1

there is no CTL formula that is equivalent to the LTL formula A FG . Likewise, there is no LTL formula that is equivalent to the CTL formula AG EF . The disjunction A FG. AG EF is a CTL formula that is not expressible in either CTL or. LTL.