Dynamic Logics: Difference between revisions