The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.
Η τυπική σημασιολογία των τύπων (formulae) της CTL* ορίζεται με βάση μια δεδομένη δομή Κρίπκε.