The modal operators used in linear temporal logic and computation tree logic are defined as follows.
Οι τροπικοί τελεστές που χρησιμοποιούνται στη Γραμμική Χρονική Λογική και στη Λογική Υπολογιστικού Δένδρου ορίζονται ως εξής.