VDict - Definition of Propositional Dynamic Logic

search result for Propositional Dynamic Logic in Computing (FOLDOC) dictionary

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

propositional logic predicate logic modal logic PDL propositional calculus PLTL neutrosophic logic temporal logic equational logic EQLog 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

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