VDict - Definition of dynamic logic

search result for dynamic logic in Computing (FOLDOC) dictionary

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

modal logic neutrosophic logic propositional logic predicate logic equational logic EQLog PDL logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun Programmable Array Logic TEMPLOG symbolic logic LO classical logic linear logic first-order logic dynamic DBMS BABEL logic emulator dynamic RAM dynamic analysis Euphoria intuitionistic logic P-Prolog Lolli dynamic scoping LOGIN intuitionistic probability Dynamic Execution JavaServer Pages quantifier HOL Dynamic Data Linking Distributed Logic Programming Dynamic Data Exchange Horn clause {log}DYSTAL two-valued logic Constraint Handling In Prolog connective HCLP field-programmable gate array Arithmetic and Logic Unit Dylperl Tempura VULCAN memory leak intuitionist logic Gunning Transceiver Logic Universal algebra dynamic binding Terse PRISM LML ObjVProlog LOP Lambda Prolog Built-in Self Test F-Logic Generic Array Logic Smarandache logic L&O Fast Page Mode Dynamic Random Access Memory ZX-81 dynamic database management system Baroque dynamic link proof theory logic variable assertion Lambada-Calculus Pandora Gottlob Frege Boolean logic temporal logic GAPLog

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