I can come back to this link later https://cstheory.stackexchange.com/questions/6735/what-is-the-difference-between-ltl-and-ctl