Comment écrivez-vous correctement cette phrase en tant que formule CTL?

Question

Phrase: de chaque état accessible, il est possible d'atteindre un état où $ p $ est vrai.

Comment rédigez-vous cette phrase en tant que formule CTL? Jusqu'à présent, je n'ai traité que la syntaxe CTL et les arbres, mais peut-être que vous sera également demandé dans un test comment vous convertiz une phrase en une formule CTL.

Alors j'ai lu ça $ AX $ moyens Tout le suivant.

Alors $ Axp $ devrait signifier Dans tous les états suivants $ p $ est vrai.

Maintenant, je n'ai besoin que de la première partie de la phrase: De chaque état accessible, il est possible d'atteindre

Mais comment cela serait-il exprimé et comment le connecter avec le $ Axp $ J'ai eu?

J'espère que vous pourrez m'aider parce que sur Internet, je n'ai pas pu trouver un exemple comme ça? : /