Concepedia

First-order Consequence

First-Order Consequence is a logical relation in which a sentence is true in every model where a given set of first-order sentences are all true, specifically distinguishing it as the consequence relation defined by the semantics of first-order logic.

43

Publications

2.8K

Citations

73

Authors

46

Institutions

Publications per year

2017–2026

4

Variants

First-order Logical Consequence

Parents

Publications

43

1–5 of 43

Authors

73

  1. JE
    John Etchemendy

    Stanford University, United States

    2 publications · 313 citations

    2

    h-index

  2. EA
    Ernest A. Moody

    University of California, Los Angeles, United States

    2 publications · 113 citations

    2

    h-index

  3. EM
    Edwin Mares

    Victoria University of Wellington, New Zealand

    1 publications · 97 citations

    1

    h-index

  4. KI
    Koji Iwanuma

    University of Yamanashi, Japan

    1 publications · 45 citations

    1

    h-index

  5. MS
    Mark Siebel

    Leipzig University, Germany

    1 publications · 39 citations

    1

    h-index

1–5 of 73

Institutions

46

  1. Pennsylvania State University

    State College, United States

    2 h-index

    3 publications

    307 citations

  2. University of Warsaw

    Warsaw, Poland

    2 h-index

    2 publications

    98 citations

  3. University of Oxford

    Oxford, United Kingdom

    2 h-index

    2 publications

    31 citations

  4. Institut de Mathématiques de Jussieu-Paris Rive Gauche

    Paris, France

    1 h-index

    1 publications

    15 citations

  5. University of Bristol

    Bristol, United Kingdom

    1 h-index

    1 publications

    45 citations

  6. Laboratoire de Recherche en Informatique

    Gif-sur-Yvette, France

    1 h-index

    5 publications

    550 citations

  7. University of Tübingen

    Tübingen, Germany

    1 h-index

    1 publications

    15 citations

  8. Humboldt-Universität zu Berlin

    Berlin, Germany

    1 h-index

    1 publications

    27 citations

1–8 of 46

Venues

  1. Journal of Symbolic Logic

    5 publications · 355 citations

    5

    h-index

  2. Noûs

    3 publications · 77 citations

    3

    h-index

  3. Choice Reviews Online

    CRO · 2 publications · 585 citations

    2

    h-index

  4. The Philosophical Quarterly

    2 publications · 380 citations

    2

    h-index

  5. Journal of Philosophical Logic

    2 publications · 112 citations

    2

    h-index

1–5