Results for temporal logics translation from English to Greek

temporal
στρώματα τελεστής

temporal lobe
Κροταφικός λοβός

temporal pulse
παλμός βραχείας διάρκειας

posterior temporal artery
οπισθία κροταφική αρτηρία

multi-temporal classification
πολυχρονική ταξινόμηση

schnoebelen: the complexity of temporal logic model checking.
schnoebelen: the complexity of temporal logic model checking.

in logic, linear temporal logic or linear-time temporal logic (ltl) is a modal temporal logic with modalities referring to time.
Η γραμμική χρονική λογική (linear temporal logic, ltl) είναι μια τροπική χρονική λογική με τροπικότητες που αναφέρονται στο χρόνο.

;specification language:one of the applications of linear temporal logic is the specification of preferences in the planning domain definition language for the purpose of preference-based planning.
Μια από τις εφαρμογές της γραμμικής χρονικής λογικής είναι η προδιαγραφή των προτιμήσεων (preference) στην planning domain definition language (preference-based planning).

doi= 10.1109/sfcs.1977.32* e. allen emerson, joseph y. halpern: "sometimes" and "not never" revisited: on branching versus linear time temporal logic.
doi= 10.1109/sfcs.1977.32* e. allen emerson, joseph y. halpern: “sometimes” and “not never” revisited: on branching versus linear time temporal logic.