VDict - Definition of temporal logic

search result for temporal logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

TEMPLOG Tempura temporal logic model checking modal logic neutrosophic logic propositional logic predicate logic equational logic PLTL LTL EQLog logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic symbolic logic LO classical logic linear logic first-order logic BABEL logic emulator intuitionistic logic P-Prolog Lolli LOGIN intuitionistic probability temporal database quantifier HOL Distributed Logic Programming Language Of Temporal Ordering Specification Horn clause {log}two-valued logic Constraint Handling In Prolog connective HCLP field-programmable gate array Arithmetic and Logic Unit intuitionist logic Gunning Transceiver Logic Universal algebra PRISM Terse LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O ZX-81 Baroque proof theory logic variable assertion Lambada-Calculus Pandora Gottlob Frege Boolean logic GAPLog SFLV PRL Parlog metalanguage AND Echidna fact IC-Prolog Goedel FUNLOG LEAF CELP glue

First < Previous 1 2 3 4 5 Next > Last