Concepedia

Dynamic Logic

Dynamic Logic is a formal logical system in the family of modal logics that extends temporal or predicate logic with modalities representing the execution of programs or actions, thereby distinguishing itself by explicitly characterizing the effects of dynamic processes on the truth of propositions over time.

567

Publications

27.4K

Citations

1K

Authors

431

Institutions

Publications per year

2017–2026

69

Parents

Publications

567

Propositional dynamic logic of regular programs

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

, , +12

Knowledge in action: logical foundations for specifying and implementing dynamical systems

Choice Reviews Online · 2002 · 1.1K citations

, , +13

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

, , +13

<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

A correspondence theory for terminological logics: preliminary report

Klaus Schild · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991 · 470 citations

, , +10

1–5 of 567

Authors

1K

  1. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    20 publications · 1.4K citations

    18

    h-index

  2. AB
    Alexandru Baltag

    University of Oxford, United Kingdom

    15 publications · 701 citations

    15

    h-index

  3. AP
    André Platzer

    Carnegie Mellon University, United States

    14 publications · 1K citations

    13

    h-index

  4. SS
    Sonja Smets

    University of Oxford, United Kingdom

    13 publications · 472 citations

    12

    h-index

  5. LP
    Leonid Perlovsky

    United States Air Force Research Laboratory, United States

    17 publications · 369 citations

    12

    h-index

1–5 of 1K

Institutions

431

  1. University of Amsterdam

    Amsterdam, The Netherlands

    22 h-index

    52 publications

    3.5K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    17 h-index

    49 publications

    1.3K citations

  3. Stanford University

    Stanford, United States

    16 h-index

    24 publications

    1.9K citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    15 h-index

    41 publications

    1.5K citations

  5. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    13 h-index

    27 publications

    788 citations

  6. University of Groningen

    Groningen, The Netherlands

    13 h-index

    14 publications

    647 citations

  7. University of Liverpool

    Liverpool, United Kingdom

    13 h-index

    24 publications

    754 citations

  8. Utrecht University

    Utrecht, The Netherlands

    12 h-index

    18 publications

    855 citations

1–8 of 431

Venues

  1. Synthese

    19 publications · 881 citations

    17

    h-index

  2. Journal of Logic and Computation

    16 publications · 689 citations

    15

    h-index

  3. Journal of Applied Non-Classical Logics

    JANCL · 11 publications · 785 citations

    11

    h-index

  4. IEEE Journal of Solid-State Circuits

    12 publications · 1.1K citations

    11

    h-index

  5. Journal of Philosophical Logic

    9 publications · 299 citations

    9

    h-index

1–5