Concepedia

Modal Fixed-point Logic

Modal Fixed-Point Logic is a formal logical system that extends modal logic by incorporating fixed-point operators to characterize recursively defined modalities through least and greatest fixed points over monotone predicate transformers.

25

Publications

1.3K

Citations

38

Authors

32

Institutions

Publications per year

2017–2026

1

Variants

Modal Fixed Point Logic

Parents

Publications

25

Provability interpretations of modal logic

Robert M Solovay · Israel Journal of Mathematics · 1976 · 457 citations

, , +13

Guarded fixed point logic

Erich Grädel, Igor Walukiewicz · 2003 · 128 citations

, , +16

Specifying coalgebras with modal logic

Alexander Kurz · Theoretical Computer Science · 2001 · 86 citations

, , +10

Back and forth between guarded and modal logics

Erich Grädel, Colin Hirsch, Martin Otto · ACM Transactions on Computational Logic · 2002 · 71 citations

, , +15

Modal Frame Correspondences and Fixed-Points

Johan van Benthem · Studia Logica · 2006 · 57 citations

, , +9

1–5 of 25

Authors

38

  1. EG
    Erich Grädel

    University of Basel, Switzerland

    3 publications · 217 citations

    3

    h-index

  2. EG
    Erich Grädel

    RWTH Aachen University, Germany

    2 publications · 53 citations

    2

    h-index

  3. MO
    Martin Otto

    RWTH Aachen University, Germany

    2 publications · 89 citations

    2

    h-index

  4. CH
    Colin Hirsch

    FH Aachen, Germany

    2 publications · 89 citations

    2

    h-index

  5. AK
    Alexander Kurz

    University of Leicester, United Kingdom

    2 publications · 106 citations

    2

    h-index

1–5 of 38

Institutions

32

  1. RWTH Aachen University

    Aachen, Germany

    3 h-index

    7 publications

    154 citations

  2. University of Amsterdam

    Amsterdam, The Netherlands

    2 h-index

    2 publications

    79 citations

  3. FH Aachen

    Aachen, Germany

    2 h-index

    3 publications

    270 citations

  4. Swansea University

    Swansea, United Kingdom

    2 h-index

    2 publications

    89 citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    1 h-index

    1 publications

    26 citations

  6. University of Wales

    Cardiff, United Kingdom

    1 h-index

    1 publications

    18 citations

  7. Laboratoire d’Informatique Fondamentale de Marseille

    Marseille, France

    1 h-index

    1 publications

    22 citations

  8. Roskilde University

    Roskilde, Denmark

    1 h-index

    1 publications

    10 citations

1–8 of 32

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 87 citations

    3

    h-index

  2. Theoretical Computer Science

    3 publications · 154 citations

    3

    h-index

  3. Annals of Pure and Applied Logic

    2 publications · 57 citations

    2

    h-index

  4. ACM Transactions on Computational Logic

    TOCL · 2 publications · 112 citations

    2

    h-index

  5. Journal of Logic Language and Information

    1 publications · 17 citations

    1

    h-index

1–5