Concepedia

Dynamic Logic Models

Dynamic Logic Model is a theoretical framework within program evaluation and systems thinking that extends the traditional logic model by incorporating feedback loops, temporal changes, and adaptive mechanisms to represent the evolving relationships between inputs, activities, outputs, and outcomes in complex, non-linear systems.

153

Publications

8.7K

Citations

268

Authors

158

Institutions

Publications per year

2017–2026

15

Parents

Publications

153

Propositional dynamic logic of regular programs

Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations

, , +12

<i>Dynamic Logic</i> by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

Yde Venema · Theory and Practice of Logic Programming · 2002 · 484 citations

, , +8

Dynamic logic for belief revision

Johan van Benthem · Journal of Applied Non-Classical Logics · 2007 · 398 citations

, , +15

Differential Dynamic Logic for Hybrid Systems

André Platzer · Journal of Automated Reasoning · 2008 · 389 citations · Full text

, , +14

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.

John-Jules Meyer · Notre Dame Journal of Formal Logic · 1987 · 383 citations · Full text

, , +8

1–5 of 153

Authors

268

  1. LP
    Leonid Perlovsky

    United States Air Force Research Laboratory, United States

    14 publications · 319 citations

    11

    h-index

  2. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    7 publications · 944 citations

    7

    h-index

  3. RI
    Roman Ilin

    United States Air Force Research Laboratory, United States

    6 publications · 105 citations

    6

    h-index

  4. DH
    David Harel

    Weizmann Institute of Science, Israel

    6 publications · 300 citations

    6

    h-index

  5. AB
    Alexandru Baltag

    University of Oxford, United Kingdom

    5 publications · 266 citations

    5

    h-index

1–5 of 268

Institutions

158

  1. University of Amsterdam

    Amsterdam, The Netherlands

    12 h-index

    16 publications

    2.3K citations

  2. United States Air Force Research Laboratory

    Wright-Patterson AFB, United States

    8 h-index

    16 publications

    224 citations

  3. Stanford University

    Stanford, United States

    7 h-index

    7 publications

    956 citations

  4. Weizmann Institute of Science

    Rehovot, Israel

    7 h-index

    11 publications

    599 citations

  5. Harvard University

    Cambridge, United States

    7 h-index

    7 publications

    251 citations

  6. Utrecht University

    Utrecht, The Netherlands

    6 h-index

    9 publications

    442 citations

  7. Harvard University Press

    Cambridge, United States

    6 h-index

    7 publications

    238 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    5 h-index

    5 publications

    96 citations

1–8 of 158

Venues

  1. Synthese

    7 publications · 450 citations

    7

    h-index

  2. arXiv (Cornell University)

    Repository · 6 publications · 131 citations

    6

    h-index

  3. Journal of Logic and Computation

    6 publications · 261 citations

    6

    h-index

  4. Information and Control

    5 publications · 330 citations

    5

    h-index

  5. Theoretical Computer Science

    5 publications · 123 citations

    5

    h-index

1–5