Concepedia

Modal Logic

Modal Logic is a branch of formal logic that extends classical propositional and predicate logic by incorporating operators expressing necessity and possibility, thereby enabling the analysis of statements qualified by modalities.

4.4K

Publications

243.6K

Citations

3.7K

Authors

1.2K

Institutions

Publications per year

2017–2026

479

Parents

Children

Publications

4.4K

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

, , +11

<b>Frege</b> : Philosophy of language. By Michael Dummett. 2nd ed. Cambridge, MA: Harvard University Press, 1981. Pp. xliii, 708.

Robert D. Buhr · Language · 1983 · 3.4K citations

, , +10

Modal Testing: Theory and Practice

D. J. Ewins, H. Saunders · Journal of vibration and acoustics · 1986 · 2.5K citations · Full text

, , +8

A Natural history of negation

Eva Hajičová · Lingua · 1990 · 2.5K citations

, , +9

The Description Logic Handbook – Theory, Implementation and Applications

C.J.H. Mann · Kybernetes · 2003 · 2.2K citations

, , +12

1–5 of 4.4K

Authors

3.7K

  1. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    33 publications · 2.5K citations

    24

    h-index

  2. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    29 publications · 2K citations

    22

    h-index

  3. JY
    Joseph Y. Halpern

    Cornell University, United States

    25 publications · 2.6K citations

    21

    h-index

  4. MZ
    Michael Zakharyaschev

    Birkbeck, University of London, United Kingdom

    30 publications · 1.5K citations

    20

    h-index

  5. MF
    Melvin Fitting

    Lehman College, United States

    23 publications · 1.1K citations

    18

    h-index

1–5 of 3.7K

Institutions

1.2K

  1. University of Amsterdam

    Amsterdam, The Netherlands

    43 h-index

    168 publications

    8.6K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    37 h-index

    182 publications

    7.3K citations

  3. Stanford University

    Stanford, United States

    35 h-index

    85 publications

    7.7K citations

  4. University of Oxford

    Oxford, United Kingdom

    34 h-index

    85 publications

    4.8K citations

  5. Imperial College London

    London, United Kingdom

    30 h-index

    92 publications

    5.3K citations

  6. Université Toulouse III - Paul Sabatier

    Toulouse, France

    29 h-index

    134 publications

    6.4K citations

  7. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    29 h-index

    130 publications

    6.2K citations

  8. Utrecht University

    Utrecht, The Netherlands

    27 h-index

    59 publications

    2.4K citations

1–8 of 1.2K

Venues

  1. Journal of Symbolic Logic

    155 publications · 10.8K citations

    52

    h-index

  2. Journal of Philosophical Logic

    128 publications · 6.8K citations

    45

    h-index

  3. Journal of Logic and Computation

    129 publications · 6K citations

    43

    h-index

  4. Studia Logica

    158 publications · 4.9K citations

    41

    h-index

  5. Artificial Intelligence

    78 publications · 11.6K citations

    40

    h-index

1–5