answersLogoWhite

0

The formula AF(p -> Xp) is such a formula. It's simple to see that the formula is a LTL formula and judging by its syntax, it's not a CTL formula. The proof that there is no equivalent CTL formula is a bit more complicated.

User Avatar

Wiki User

15y ago

Still curious? Ask our experts.

Chat with our AI personalities

RossRoss
Every question is just a happy little opportunity.
Chat with Ross
ProfessorProfessor
I will give you the most educated answer.
Chat with Professor
LaoLao
The path is yours to walk; I am only here to hold up a mirror.
Chat with Lao

Add your answer:

Earn +20 pts
Q: What is a LTL formula that has no equivalent CTL formula?
Write your answer...
Submit
Still have questions?
magnify glass
imp