Dynamic logic

Dynamic logic may mean:

In theoretical computer science, dynamic logic (modal logic) is a modal logic for reasoning about dynamic behaviour
In digital electronics, dynamic logic (digital electronics) is a technique used for (clocked) combinatorial circuit design
Neural net dynamic logic (neural) investigated by Leonid Perlovsky

This article is issued from Wikipedia - version of the 8/23/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.