Concepedia

Normal Modal Logic

Normal Modal Logic is a system of modal logic that extends the minimal modal logic K by including the necessitation rule and the distribution axiom, thereby forming a formal framework for reasoning about necessity and possibility that is closed under classical propositional logic and satisfies the Kripke-style semantic interpretation.

128

Publications

6.5K

Citations

162

Authors

92

Institutions

Publications per year

2017–2026

14

Parents

Publications

128

1–5 of 128

Authors

162

  1. MZ
    Michael Zakharyaschev

    Birkbeck, University of London, United Kingdom

    8 publications · 431 citations

    8

    h-index

  2. AP
    Alessandra Palmigiano

    University of Johannesburg, South Africa

    6 publications · 117 citations

    6

    h-index

  3. JM
    João Marcos

    Universidade Federal do Rio Grande do Norte, Brazil

    4 publications · 94 citations

    4

    h-index

  4. LL
    L. L. Maksimova

    Russian Academy of Sciences, Russia

    4 publications · 191 citations

    4

    h-index

  5. ZZ
    Zhiguang Zhao

    Delft University of Technology, Netherlands

    4 publications · 92 citations

    4

    h-index

1–5 of 162

Institutions

92

  1. University of Johannesburg

    Johannesburg, South Africa

    4 h-index

    12 publications

    264 citations

  2. Simon Fraser University

    Burnaby, Canada

    4 h-index

    6 publications

    159 citations

  3. Utrecht University

    Utrecht, The Netherlands

    4 h-index

    4 publications

    165 citations

  4. Delft University of Technology

    Delft, The Netherlands

    4 h-index

    10 publications

    204 citations

  5. King's College London

    London, United Kingdom

    4 h-index

    7 publications

    164 citations

  6. Freie Universität Berlin

    Berlin, Germany

    3 h-index

    5 publications

    197 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    3 publications

    104 citations

  8. University of Liverpool

    Liverpool, United Kingdom

    3 h-index

    4 publications

    74 citations

1–8 of 92

Venues

  1. Journal of Symbolic Logic

    19 publications · 824 citations

    17

    h-index

  2. Notre Dame Journal of Formal Logic

    11 publications · 269 citations

    11

    h-index

  3. Studia Logica

    9 publications · 389 citations

    8

    h-index

  4. Logic Journal of IGPL

    8 publications · 369 citations

    8

    h-index

  5. Journal of Logic and Computation

    7 publications · 368 citations

    7

    h-index

1–5