Come si scrive correttamente questa frase come formula CTL?

Question

SENTENZA: da ogni stato raggiungibile è possibile raggiungere uno stato in cui $ p $ è vero.

Come si scrive questa frase come formula CTL? Finora ho affrontato solo la sintassi e gli alberi CTL, ma forse verrà anche chiesto in un test su come converti una frase in una formula CTL ..

Quindi l'ho letto $ Ax $ significa Tutto il prossimo.

Quindi $ Axp $ dovrebbe significare In tutti gli stati successivi $ p $ è vero.

Ora ho solo bisogno della prima parte della frase: Da ogni stato raggiungibile è possibile raggiungere

Ma come sarebbe espresso e come lo collegate a $ Axp $ Ho ottenuto?

Spero che tu possa aiutarmi perché su Internet non sono riuscito a trovare un esempio del genere? : /