Computation Tree Logic (CTL)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Temporallogik der verzweigten Zeit, die temporale Operatoren mit expliziten Pfadquantoren kombiniert (A für 'für alle Pfade', E für 'es existiert ein Pfad'), um Eigenschaften über Bäume möglicher Zukünfte statt über einzelne Zeitlinien auszudrücken.