Dynamic logic
Appearance
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.