Back to the email C Hillel Wayne Author February 11, 2026, evening That's 100% correct! LTL has A and E, CTL has A and P (and a fragment of E, it's weird), CTL* has all three. Reply and Subscribe
That's 100% correct! LTL has A and E, CTL has A and P (and a fragment of E, it's weird), CTL* has all three.