Concepedia

Game-theoretic Semantics

Game-Theoret薄弱ics" is a formal framework in the philosophy of logic that interprets the truth and meaning of logical statements through the analysis of strategic interactions between opposing players in a semantic game, where the validity of a sentence is determined by the existence of a winning strategy for the verifier.

233

Publications

14.6K

Citations

286

Authors

163

Institutions

Publications per year

2017–2026

31

Variants

Game-theoretic Semantics Of LogicGts

Parents

Publications

233

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Phan Minh Dũng · Artificial Intelligence · 1995 · 4.3K citations

, , +17

Axiomatic and game-theoretic analysis of bankruptcy and taxation problems: a survey

William Thomson · Mathematical Social Sciences · 2003 · 611 citations

, , +14

A Modal Logic for Coalitional Power in Games

Marc Pauly · Journal of Logic and Computation · 2002 · 477 citations · Full text

, , +13

Games and full completeness for multiplicative linear logic

Samson Abramsky, Radha Jagadeesan · Journal of Symbolic Logic · 1994 · 381 citations

, , +11

Compositional semantics for a language of imperfect information

Wilfrid Hodges · Logic Journal of IGPL · 1997 · 334 citations

, , +16

1–5 of 233

Authors

286

  1. SA
    Samson Abramsky

    University of Oxford, United Kingdom

    12 publications · 1K citations

    12

    h-index

  2. CL
    C.-H. Luke Ong

    University of Oxford, United Kingdom

    9 publications · 620 citations

    9

    h-index

  3. DR
    Dan R. Ghica

    University of Birmingham, United Kingdom

    9 publications · 329 citations

    9

    h-index

  4. AS
    Andrzej S. Murawski

    University of Oxford, United Kingdom

    8 publications · 326 citations

    8

    h-index

  5. WV
    Wiebe van der Hoek

    University of Liverpool, United Kingdom

    7 publications · 256 citations

    7

    h-index

1–5 of 286

Institutions

163

  1. Centre National de la Recherche Scientifique

    Paris, France

    19 h-index

    34 publications

    1.3K citations

  2. University of Oxford

    Oxford, United Kingdom

    14 h-index

    34 publications

    1.6K citations

  3. Université Paris Cité

    Paris, France

    14 h-index

    22 publications

    1K citations

  4. University of Sussex

    Brighton, United Kingdom

    10 h-index

    10 publications

    386 citations

  5. Imperial College London

    London, United Kingdom

    10 h-index

    17 publications

    808 citations

  6. University of Liverpool

    Liverpool, United Kingdom

    10 h-index

    17 publications

    553 citations

  7. University of Amsterdam

    Amsterdam, The Netherlands

    10 h-index

    16 publications

    823 citations

  8. Laboratory Preuves, Programmes et Systèmes

    Paris, France

    8 h-index

    9 publications

    327 citations

1–8 of 163

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 14 publications · 301 citations

    10

    h-index

  2. Theoretical Computer Science

    8 publications · 245 citations

    8

    h-index

  3. Annals of Pure and Applied Logic

    7 publications · 520 citations

    7

    h-index

  4. ACM Transactions on Computational Logic

    TOCL · 6 publications · 328 citations

    6

    h-index

  5. Logic Journal of IGPL

    5 publications · 435 citations

    5

    h-index

1–5