Concepedia

Interpretations In Logic

Interpretations in Logic is a formal framework in mathematical logic that specifies the semantic meaning of logical symbols and expressions by mapping them to a structure-based domain, thereby enabling the evaluation of truth values relative to a given model.

110

Publications

5.5K

Citations

155

Authors

101

Institutions

Publications per year

2017–2026

7

Parents

Publications

110

Abstract interpretation and application to logic programs

Patrick Cousot, Radhia Cousot · The Journal of Logic Programming · 1992 · 585 citations

, , +11

The Logic of Bunched Implications

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

, , +12

Computational interpretations of linear logic

Samson Abramsky · Theoretical Computer Science · 1993 · 413 citations

, , +14

A practical framework for theabstract interpretation of logic programs

Maurice Bruynooghe · The Journal of Logic Programming · 1991 · 250 citations · Full text

, , +13

A border dispute: the place of logic in Psychology

Derek Bolton · Behaviour Research and Therapy · 1988 · 242 citations

, , +11

1–5 of 110

Authors

155

  1. GF
    Gilberto Filé

    University of Padua, Italy

    3 publications · 130 citations

    3

    h-index

  2. FR
    Francesco Ranzato

    University of Padua, Italy

    3 publications · 130 citations

    3

    h-index

  3. PO
    Paulo Oliva

    Queen Mary University of London, United Kingdom

    3 publications · 35 citations

    3

    h-index

  4. AC
    Agostino Cortesi

    Ca' Foscari University of Venice, Italy

    3 publications · 111 citations

    3

    h-index

  5. MC
    Massimiliano Carrara

    University of Padua, Italy

    2 publications · 39 citations

    2

    h-index

1–5 of 155

Institutions

101

  1. University of Padua

    Padua, Italy

    7 h-index

    14 publications

    438 citations

  2. Queen Mary University of London

    London, United Kingdom

    5 h-index

    6 publications

    1K citations

  3. Utrecht University

    Utrecht, The Netherlands

    3 h-index

    5 publications

    102 citations

  4. Eindhoven University of Technology

    Eindhoven, The Netherlands

    3 h-index

    3 publications

    112 citations

  5. KU Leuven

    Leuven, Belgium

    3 h-index

    3 publications

    323 citations

  6. University of Pennsylvania

    Philadelphia, United States

    3 h-index

    3 publications

    74 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    4 publications

    91 citations

  8. SRI International

    Menlo Park, United States

    2 h-index

    3 publications

    256 citations

1–8 of 101

Venues

  1. Journal of Symbolic Logic

    5 publications · 320 citations

    5

    h-index

  2. Theoretical Computer Science

    4 publications · 555 citations

    4

    h-index

  3. Annals of Pure and Applied Logic

    4 publications · 104 citations

    4

    h-index

  4. Journal of Logic and Computation

    4 publications · 150 citations

    4

    h-index

  5. Journal of Philosophical Logic

    3 publications · 75 citations

    3

    h-index

1–5