Concepedia

Propositional Logic Semantics

Propositional Logic Semantics is the formal framework that specifies the truth-functional interpretations of logical connectives and determines the conditions under which well-formed formulas in propositional logic are true or false relative to a given valuation.

336

Publications

20.5K

Citations

559

Authors

309

Institutions

Publications per year

2017–2026

26

Parents

Publications

336

Results on the propositional μ-calculus

Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations

, , +4

Semantic Compositionality through Recursive Matrix-Vector Spaces

Richard Socher, Brody Huval, Christopher D. Manning et al. · 2012 · 1.3K citations

, , +16

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Saul A. Kripke · Mathematical logic quarterly · 1963 · 1.3K citations

, , +15

Propositional dynamic logic of regular programs

Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations

, , +12

The Logic of Bunched Implications

Peter W. O’Hearn, David Pym · Bulletin of Symbolic Logic · 1999 · 474 citations

, , +12

1–5 of 336

Authors

559

  1. JY
    Joseph Y. Halpern

    Cornell University, United States

    5 publications · 629 citations

    5

    h-index

  2. MT
    Mirosław Truszczyński

    University of Kentucky, United States

    5 publications · 100 citations

    5

    h-index

  3. PM
    Pierre Marquis

    Université d'Artois, France

    4 publications · 103 citations

    4

    h-index

  4. MB
    Mário Benevides

    Universidade Federal do Rio de Janeiro, Brazil

    3 publications · 38 citations

    3

    h-index

  5. SB
    Saša Buvač

    Stanford University, United States

    3 publications · 363 citations

    3

    h-index

1–5 of 559

Institutions

309

  1. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    29 publications

    788 citations

  2. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    8 h-index

    15 publications

    435 citations

  3. University of Amsterdam

    Amsterdam, The Netherlands

    8 h-index

    9 publications

    288 citations

  4. Université Toulouse III - Paul Sabatier

    Toulouse, France

    8 h-index

    15 publications

    435 citations

  5. Stanford University

    Stanford, United States

    8 h-index

    14 publications

    6.5K citations

  6. Institut Polytechnique de Bordeaux

    Bordeaux, France

    7 h-index

    11 publications

    235 citations

  7. Université Toulouse - Jean Jaurès

    Toulouse, France

    7 h-index

    11 publications

    235 citations

  8. Université Toulouse-I-Capitole

    Toulouse, France

    7 h-index

    11 publications

    235 citations

1–8 of 309

Venues

  1. Studia Logica

    17 publications · 864 citations

    14

    h-index

  2. Journal of Symbolic Logic

    14 publications · 1.1K citations

    12

    h-index

  3. Notre Dame Journal of Formal Logic

    10 publications · 228 citations

    10

    h-index

  4. Theoretical Computer Science

    10 publications · 2.4K citations

    10

    h-index

  5. Journal of Logic and Computation

    8 publications · 150 citations

    8

    h-index

1–5