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