VDict - Definition of Linear Temporal Logic

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

temporal logic modal logic TEMPLOG LO Lolli linear logic Tempura PLTL LTL model checking linear type CLP(R) neutrosophic logic logic linear function propositional logic linear programming predicate logic equational logic constant linear velocity eigenvector Boolean algebra EQLog linear map Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun symmetric Programmable Array Logic symbolic logic classical logic first-order logic BABEL logic emulator intuitionistic logic P-Prolog LOGIN dual intuitionistic probability linear transformation LIPL temporal database quantifier HOL AMBUSH Distributed Logic Programming Language Of Temporal Ordering Specification inner product Horn clause {log} McCulloch-Pitts neuron two-valued logic Constraint Handling In Prolog linear space connective HCLP field-programmable gate array Arithmetic and Logic Unit intuitionist logic more...