VDict - Definition of Propositional Linear Temporal Logic

search result for Propositional Linear Temporal Logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

modal logic propositional logic temporal logic PLTL predicate logic TEMPLOG LO Lolli linear logic Tempura propositional calculus LTL model checking linear type CLP(R)neutrosophic logic logic PDL linear function linear programming 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 tensor product Gunning Transceiver Logic Universal algebra Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O ZX-81 constant angular velocity Baroque linear address space

First < Previous 1 2 3 4 5 6 Next > Last