Concepedia

Predicate Logic Semantics

Predicate Logic Semantics is a formal framework within logical semantics that specifies the meaning of sentences in terms of truth conditions over quantificational structures by interpreting predicates, individual constants, and logical connectives within a domain of discourse.

246

Publications

15.2K

Citations

389

Authors

196

Institutions

Publications per year

2017–2026

14

Parents

Publications

246

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

, , +16

From computing with numbers to computing with words. From manipulation of measurements to manipulation of perceptions

L. A. ZADEH · IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications · 1999 · 1K citations

, , +12

Modal Languages and Bounded Fragments of Predicate Logic

Hajnal Andréka, Istvàn Németi, Johan van Benthem · Journal of Philosophical Logic · 1998 · 601 citations

, , +11

Predicate Logic as Programming Language.

Robert Kowalski · IFIP Congress · 1974 · 600 citations

, , +8

First Order Predicate Logic with Generalized Quantifiers

PERLINDSTRÖM · Theoria · 1966 · 474 citations

, , +9

1–5 of 246

Authors

389

  1. HO
    Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Japan

    4 publications · 77 citations

    4

    h-index

  2. DA
    David A. Naumann

    Stevens Institute of Technology, United States

    3 publications · 92 citations

    3

    h-index

  3. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    3 publications · 703 citations

    3

    h-index

  4. KC
    Kenta Cho

    Radboud University Nijmegen, Netherlands

    2 publications · 28 citations

    2

    h-index

  5. GA
    Gail‐Joon Ahn

    Arizona State University, United States

    2 publications · 456 citations

    2

    h-index

1–5 of 389

Institutions

196

  1. The University of Texas at Austin

    Austin, United States

    5 h-index

    9 publications

    199 citations

  2. Radboud University Nijmegen

    Nijmegen, The Netherlands

    5 h-index

    6 publications

    138 citations

  3. Max Planck Institute for Informatics

    Saarbrücken, Germany

    4 h-index

    5 publications

    381 citations

  4. University of Amsterdam

    Amsterdam, The Netherlands

    4 h-index

    4 publications

    722 citations

  5. University of Gothenburg

    Gothenburg, Sweden

    4 h-index

    6 publications

    961 citations

  6. Imperial College London

    London, United Kingdom

    4 h-index

    5 publications

    2.2K citations

  7. Chalmers University of Technology

    Gothenburg, Sweden

    4 h-index

    6 publications

    558 citations

  8. Ghent University

    Ghent, Belgium

    3 h-index

    3 publications

    57 citations

1–8 of 196

Venues

  1. Studia Logica

    9 publications · 155 citations

    9

    h-index

  2. Journal of Philosophical Logic

    9 publications · 917 citations

    9

    h-index

  3. Notre Dame Journal of Formal Logic

    7 publications · 234 citations

    7

    h-index

  4. Mathematical logic quarterly

    MLQ · 5 publications · 119 citations

    5

    h-index

  5. arXiv (Cornell University)

    Repository · 5 publications · 195 citations

    5

    h-index

1–5