Express the following property in CTL and LTL explaining the difference between the two logics:

Whenever state p is followed by state q (after finitely many steps), then the system enters an interval in which no state r occurs until state t occurs