Concepedia

Henkin Semantics

Henkin Semantics is a type of model-theoretic semantics for higher-order logics in which interpretations are based on generalized domains that assign meaning to predicate and function variables through a hierarchy of non-empty sets, differing from standard semantics by allowing distinct domains for each type of entity and thereby satisfying completeness and compactness theorems.

20

Publications

673

Citations

30

Authors

20

Institutions

Publications per year

2017–2026

0

Parents

Publications

20

A partial functions version of Church's simple theory of types

William M. Farmer · Journal of Symbolic Logic · 1990 · 99 citations

, , +14

A mechanization of type theory

Gerard P. Hubt · 1973 · 81 citations

, , +10

A logic stronger than intuitionism

Sabine Görnemann · Journal of Symbolic Logic · 1971 · 68 citations

, , +9

On the Innocence and Determinacy of Plural Quantification

Salvatore Florio, Øystein Linnebo · Noûs · 2015 · 58 citations · Full text

, , +9

Higher-Order Description Logics for Domain Metamodeling

Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati · Proceedings of the AAAI Conference on Artificial Intelligence · 2011 · 53 citations · Full text

, , +14

1–5 of 20

Authors

30

  1. RR
    Riccardo Rosati

    Sapienza University of Rome, Italy

    2 publications · 64 citations

    2

    h-index

  2. GD
    Giuseppe De Giacomo

    Sapienza University of Rome, Italy

    2 publications · 64 citations

    2

    h-index

  3. ML
    Maurizio Lenzerini

    Sapienza University of Rome, Italy

    2 publications · 64 citations

    2

    h-index

  4. IN
    Istvàn Németi

    Hungarian Academy of Sciences, Hungary

    1 publications · 19 citations

    1

    h-index

  5. SG
    Sabine Görnemann

    1 publications · 68 citations

    1

    h-index

1–5 of 30

Institutions

20

  1. Institute of Mathematics

    Warsaw, Poland

    2 h-index

    2 publications

    53 citations

  2. University of Warsaw

    Warsaw, Poland

    2 h-index

    2 publications

    53 citations

  3. Sapienza University of Rome

    Rome, Italy

    2 h-index

    4 publications

    170 citations

  4. National Taiwan University

    Taipei, Taiwan

    1 h-index

    3 publications

    105 citations

  5. National Institute of Technology, Kisarazu College

    Kisarazu, Japan

    1 h-index

    1 publications

    11 citations

  6. University of Helsinki

    Helsinki, Finland

    1 h-index

    1 publications

    19 citations

  7. Technion – Israel Institute of Technology

    Haifa, Israel

    1 h-index

    2 publications

    28 citations

  8. Kansas State University

    Manhattan, United States

    1 h-index

    1 publications

    58 citations

1–8 of 20

Venues

  1. Journal of Symbolic Logic

    4 publications · 225 citations

    4

    h-index

  2. Annals of Pure and Applied Logic

    2 publications · 30 citations

    2

    h-index

  3. Notre Dame Journal of Formal Logic

    2 publications · 39 citations

    2

    h-index

  4. IRIS Research product catalog (Sapienza University of Rome)

    Repository · 1 publications · 11 citations

    1

    h-index

  5. Fundamentals of Computation Theory

    Conference · 1 publications · 19 citations

    1

    h-index

1–5