Jump to content

Dynamic logic

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Fresheneesz (talk | contribs) at 20:55, 5 March 2006 (disambig). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Dynamic logic may mean:

  • The Dynamic logic as an extension of modal theory, used in the context of Artificial Intelligence.
  • The Dynamic logic used in digital logic for circuit design.