Concepedia

First-order Logic

First-Order Logic is a formal system in mathematical logic that extends propositional logic by incorporating quantifiers over individual variables, predicates, and functions, thereby enabling the expression of statements about objects and their relations within a domain of discourse.

3.4K

Publications

197.4K

Citations

3.6K

Authors

1.1K

Institutions

Publications per year

2017–2026

263

Variants

First-order Predicate CalculusFol

Parents

Children

Publications

3.4K

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

, , +15

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

, , +11

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

, , +10

The Description Logic Handbook – Theory, Implementation and Applications

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

, , +12

Generalized quantifiers and natural language

Jon Barwise, Robin Cooper · Linguistics and Philosophy · 1981 · 1.9K citations

, , +12

1–5 of 3.4K

Authors

3.6K

  1. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    29 publications · 1.4K citations

    22

    h-index

  2. MY
    Moshe Y. Vardi

    Rice University, United States

    26 publications · 1.6K citations

    19

    h-index

  3. YG
    Yuri Gurevich

    University of Michigan, United States

    20 publications · 1.1K citations

    18

    h-index

  4. SS
    Saharon Shelah

    Hebrew University of Jerusalem, Israel

    21 publications · 1.1K citations

    15

    h-index

  5. MF
    Melvin Fitting

    Lehman College, United States

    20 publications · 1.7K citations

    15

    h-index

1–5 of 3.6K

Institutions

1.1K

  1. Stanford University

    Stanford, United States

    35 h-index

    87 publications

    10.2K citations

  2. University of Amsterdam

    Amsterdam, The Netherlands

    31 h-index

    87 publications

    4.5K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    30 h-index

    127 publications

    4.4K citations

  4. Carnegie Mellon University

    Pittsburgh, United States

    29 h-index

    92 publications

    8.6K citations

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

    Le Chesnay-Rocquencourt, France

    27 h-index

    80 publications

    3.1K citations

  6. Imperial College London

    London, United Kingdom

    25 h-index

    48 publications

    3.6K citations

  7. University of Edinburgh

    Edinburgh, United Kingdom

    25 h-index

    50 publications

    2.7K citations

  8. University of Liverpool

    Liverpool, United Kingdom

    23 h-index

    52 publications

    2.1K citations

1–8 of 1.1K

Venues

  1. Journal of Symbolic Logic

    281 publications · 20.2K citations

    61

    h-index

  2. Theoretical Computer Science

    84 publications · 4.2K citations

    36

    h-index

  3. Journal of the ACM

    JACM · 37 publications · 5.3K citations

    33

    h-index

  4. Annals of Pure and Applied Logic

    62 publications · 3.1K citations

    28

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 53 publications · 2.2K citations

    27

    h-index

1–5