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
 In linguistics and philosophy of language, dynamic semantics is a formal framework in which meaning is understood as the ability of an utterance to update a discourse.