Results for modal logics translation from English to Greek

modal
Μοντάλ

modal form
μορφή τρόπου

tri-modal
tρεις τρόποι μεταφοράς

modal superposition
επαλληλία αποκρίσεων ιδιομορφών

modal 1,01
ίνες χαλκαμμωνίας 1,01

modal share (%)
mερίδιo στο σύνολο των εκπο-μπών (%)

co modal approach
Προσέγγιση συντροπικότητας

non-modal aboutdialog
Μη αναγκαστικό περί του διαλόγου (aboutdialog)

modal shift actions
Δράσεις στροφής

meaning and necessity: a study in semantics and modal logic.
meaning and necessity: a study in semantics and modal logic.

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) είναι μια τροπική χρονική λογική με τροπικότητες που αναφέρονται στο χρόνο.

* julian bradfield and colin stirling, modal logics and mu-calculi, inf.ed.ac.uk* specification patterns ksu.edu* property pattern mappings for rafmc inria.fr* radu mateescu and mihaela sighireanu efficient on-the-fly model-checking for regular alternation-free mu-calculus, page 6, science of computer programming 46(3):255-281, 2003* müller-olm, m., schmidt, d.a.
* julian bradfield and colin stirling, modal logics and mu-calculi, inf.ed.ac.uk* specification patterns ksu.edu* property pattern mappings for rafmc inrialpes.fr* more patterns: page 6 of inrialpes.fr* müller-olm, m., schmidt, d.a.