Metadata
Author: WikiMatrix
Data
Greek[el]
Οι τροπικοί τελεστές που χρησιμοποιούνται στη Γραμμική Χρονική Λογική και στη Λογική Υπολογιστικού Δένδρου ορίζονται ως εξής.
Spanish[es]
Los operadores modales usan el Linear Temporal Logic y Computation Tree Logic son definidos como sigue.