Dynamic logic - Citizendia

Dynamic logic may mean:

In modal logic:

Dynamic logic is a modal logic for reasoning about dynamic behaviour with applications to logics of programs, program verification, modal logic including possible world semantics, linguistics, and artificial intelligence. Dynamic logic is an extension of Modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics philosophy In the context of hardware and software systems formal verification is the act of proving or disproving the Correctness of intended Algorithms underlying A modal logic is any system of formal logic that attempts to deal with modalities. Linguistics is the scientific study of Language, encompassing a number of sub-fields

In digital logic:

Dynamic logic is used for circuit design. In Integrated circuit design dynamic logic (or sometimes clocked logic) is a design methodology Logic family in digital logic that was popular

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
network: | |