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. You're not signed in. Posting this comment will subscribe you to this newsletter with the email address you enter below. 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.