Jump to content

Dynamic logic

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Botterweg (talk | contribs) at 22:50, 7 December 2020 (adding dynamic semantics). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Dynamic logic may mean: