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]]