Best Answer

CTL formula: AG(p -> AFq)

CTL* formula: AEAp

LTL formula: AGFp

User Avatar

Wiki User

14y ago
This answer is:
User Avatar

Add your answer:

Earn +20 pts
Q: Give an example for a CTL formula?
Write your answer...
Still have questions?
magnify glass
Related questions

What is a LTL formula that has no equivalent CTL formula?

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.

Formula transformation and give an example of formula?

explain formula transformation

When was CTL Logistics created?

CTL Logistics was created in 1992.

What is CTL Logistics's population?

The population of CTL Logistics is 2,500.

What is the sequence of keystrokes which give you a superscript I know the series of keystrokes to get a subscript but I do not know the sequence of keystrokes to get a superscript?

"ctl"+ "shift" + "+" will give you a superscript

When was A.S.D. CTL Campania Piscinola created?

A.S.D. CTL Campania Piscinola was created in 2007.

Give an example of logarithmic formula that give the pH of a substance?


What does the acronym CTL stand for?

The acronym, CTL, can stand for many different things. CTL can stand for Credit Tenant Lease, Center for Teaching and Learning, Critical Task List, and many other things.

Give you an example of geometry in architecture?

quadratic formula is used often

What is subtotal percentage formula field?

Are you asking about something in Excel? Can you give example?

What is the full form of CTL?

Control Transfer List

What is molecular composition and give an example?

Methane has the chemical formula CH4; hydrogen is 25 % and carbon 75 %.