Dynamic logic 101576 165110183 2007-10-17T03:30:56Z Vaughan Pratt 1068018 Removed rambling incoherent list of references to pages none of which even mention dynamic logic '''Dynamic logic''' may mean: In modal logic: :*[[Dynamic logic (modal logic)|Dynamic logic]] is a modal logic for reasoning about dynamic behaviour with applications to logics of programs, [[program verification]], [[modal logic]] including [[possible world]] semantics, [[linguistics]], and [[artificial intelligence]]. In digital logic: :*[[Dynamic logic (digital logic)|Dynamic logic]] is used for circuit design. {{disambig}} [[Category:Logic]]