Concepedia

Provability Logic

Provability Logic is a modal logic that extends propositional logic by interpreting the modal operator as provability in a formal system, typically Peano Arithmetic, thereby formalizing principles governing the metamathematical properties of provability.

98

Publications

2.9K

Citations

89

Authors

70

Institutions

Publications per year

2017–2026

4

Variants

Provability Logics

Parents

Publications

98

C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp.

George Boolos · Journal of Symbolic Logic · 1988 · 241 citations

, , +14

Provability in Logic.

Roland Hall, Stig Kanger · The Philosophical Quarterly · 1960 · 123 citations

, , +12

The interpretability logic of Peano arithmetic

Alessandro Berarducci · Journal of Symbolic Logic · 1990 · 88 citations

, , +11

The modal logic of provability. The sequential approach

Giovanni Sambin, Silvio Valentini · Journal of Philosophical Logic · 1982 · 86 citations

, , +9

On strong provability predicates and the associated modal logics

Konstantin N. Ignatiev · Journal of Symbolic Logic · 1993 · 80 citations

, , +15

1–5 of 98

Authors

89

  1. LD
    Lev D. Beklemishev

    Steklov Mathematical Institute, Russia

    13 publications · 298 citations

    12

    h-index

  2. SA
    Sergei Artëmov

    The Graduate Center, CUNY, United States

    7 publications · 184 citations

    7

    h-index

  3. AV
    Albert Visser

    Utrecht University, Netherlands

    6 publications · 196 citations

    6

    h-index

  4. GB
    George Boolos

    Massachusetts Institute of Technology, United States

    4 publications · 334 citations

    4

    h-index

  5. JJ
    Joost J. Joosten

    Universitat de Barcelona, Spain

    3 publications · 93 citations

    3

    h-index

1–5 of 89

Institutions

70

  1. Steklov Mathematical Institute

    Moscow, Russia

    11 h-index

    12 publications

    270 citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    6 publications

    228 citations

  3. Lomonosov Moscow State University

    Moscow, Russia

    5 h-index

    5 publications

    105 citations

  4. Utrecht University

    Utrecht, The Netherlands

    4 h-index

    4 publications

    142 citations

  5. National Research University Higher School of Economics

    Moscow, Russia

    4 h-index

    4 publications

    102 citations

  6. City University of New York

    New York, United States

    3 h-index

    5 publications

    175 citations

  7. Russian Academy of Sciences

    Moscow, Russia

    3 h-index

    3 publications

    68 citations

  8. University of Siena

    Siena, Italy

    2 h-index

    3 publications

    194 citations

1–8 of 70

Venues

  1. Journal of Symbolic Logic

    16 publications · 811 citations

    14

    h-index

  2. Notre Dame Journal of Formal Logic

    9 publications · 222 citations

    9

    h-index

  3. Annals of Pure and Applied Logic

    8 publications · 163 citations

    8

    h-index

  4. Studia Logica

    5 publications · 119 citations

    5

    h-index

  5. Journal of Philosophical Logic

    5 publications · 223 citations

    5

    h-index

1–5