Dynamic logic
Encyclopedia
Dynamic logic may mean:
- In theoretical computer science, dynamic logic (modal logic)Dynamic logic (modal logic)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, AI, and other fields.-Language:...
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
- A different concept proposed by Leonid PerlovskyLeonid PerlovskyDr. Leonid Perlovsky is a Visiting Scholar at Harvard University, Principal Research Physicist and Technical Advisor at the United States Air Force Research Laboratory, Hanscom Air Force Base...