Concepedia

Higher-order Logic

Higher-Order Logic is a formal logical system that extends first-order logic by allowing quantification over predicates, functions, and higher-type entities, thereby enabling the expression of more complex mathematical constructs and reasoning about abstract structures within proof assistants and automated theorem proving.

547

Publications

26.9K

Citations

814

Authors

328

Institutions

Publications per year

2017–2026

95

Variants

Hol

Parents

Publications

547

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

, , +11

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

, , +15

Institutions: abstract model theory for specification and programming

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

, , +13

A Framework for Defining Logics

Institutional Research Information System (University of Udine) · 1993 · 975 citations

, , +16

The completeness of the first-order functional calculus

Leon Henkin · Journal of Symbolic Logic · 1949 · 537 citations

, , +9

1–5 of 547

Authors

814

  1. LB
    Lars Birkedal

    Aarhus University, Denmark

    22 publications · 1.3K citations

    18

    h-index

  2. CB
    Christoph Benzmüller

    Freie Universität Berlin, Germany

    15 publications · 427 citations

    12

    h-index

  3. OH
    Osman Hasan

    National University of Sciences and Technology, Pakistan

    16 publications · 261 citations

    12

    h-index

  4. LC
    Lawrence C. Paulson

    University of Cambridge, United Kingdom

    13 publications · 563 citations

    12

    h-index

  5. ST
    Sofiène Tahar

    Concordia University, Canada

    11 publications · 190 citations

    11

    h-index

1–5 of 814

Institutions

328

  1. University of Cambridge

    Cambridge, United Kingdom

    17 h-index

    29 publications

    1.3K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    15 h-index

    28 publications

    1.1K citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    14 h-index

    31 publications

    1K citations

  4. Aarhus University

    Aarhus, Denmark

    13 h-index

    30 publications

    1.6K citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    12 h-index

    16 publications

    2.6K citations

  6. Imperial College London

    London, United Kingdom

    11 h-index

    15 publications

    951 citations

  7. Technical University of Munich

    Munich, Germany

    11 h-index

    20 publications

    709 citations

  8. Concordia University

    Montreal, Canada

    11 h-index

    23 publications

    390 citations

1–8 of 328

Venues

  1. Journal of Symbolic Logic

    14 publications · 2.5K citations

    13

    h-index

  2. Journal of Automated Reasoning

    12 publications · 417 citations

    12

    h-index

  3. arXiv (Cornell University)

    Repository · 11 publications · 218 citations

    11

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 235 citations

    10

    h-index

  5. Journal of Logic and Computation

    10 publications · 276 citations

    10

    h-index

1–5