Playing Games with Diagrams: Truth Diagrams and Game Semantics

被引：0
|
作者：
Baskent, Can [1 ]
机构：
[1] Middlesex Univ, Dept Comp Sci, London, England
来源：
DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2024 | 2024年 / 14981卷
关键词：
Truth diagrams; Game Semantics; Propositional Logic; Iterated elimination of strictly dominated strategies; LOGICS;
D O I：
10.1007/978-3-031-71291-3_24
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we discuss the connection between truth diagrams and game semantics. Truth diagrams offer a diagrammatic way to represent truth in propositional logic. Game semantics, on the other hand, offers a strategic and game theoretical way to establish the truth value of a given formula. By establishing a relation between the two, we offer another diagrammatic reasoning for game semantics, beyond game trees; and characterise various operations on truth diagrams game theoretically.
引用
收藏
页码：300 / 315
页数：16
相关论文
共 50 条
  • [21] An Algebraic Account of References in Game Semantics
    Mellies, Paul-Andre
    Tabareau, Nicolas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 377 - 405
  • [22] A Quantum Game Semantics for the Measurement Calculus
    Delbecque, Yannick
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 210 (0C) : 33 - 48
  • [23] A type assignment system for game semantics
    Di Gianantonio, Pietro
    Honsell, Furio
    Lenisa, Marina
    THEORETICAL COMPUTER SCIENCE, 2008, 398 (1-3) : 150 - 169
  • [24] DISENTANGLING PARALLELISM AND INTERFERENCE IN GAME SEMANTICS
    Castellan, Simon
    Clairambault, Pierre
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (03)
  • [25] Game Semantics for a Polymorphic Programming Language
    Laird, J.
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 41 - 49
  • [26] A System-Level Game Semantics
    Ghica, Dan R.
    Tzevelekos, Nikos
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 286 : 191 - 211
  • [27] Game semantics and linear CPS interpretation
    Laird, J
    THEORETICAL COMPUTER SCIENCE, 2005, 333 (1-2) : 199 - 224
  • [28] A Game Theoretical Semantics for Logics of Nonsense
    Baskent, Can
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (326): : 66 - 81
  • [29] Layered and Object-Based Game Semantics
    Vale, Arthur Oliveira
    Mellies, Paul-Andre
    Shao, Zhong
    Koenig, Jeremie
    Stefanesco, Leo
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [30] CLASSICAL LOGIC AND SCHIZOPHRENIA: FOR A NEUTRAL GAME SEMANTICS
    Redmond, Juan
    Lopez-Orellana, Rodrigo
    REVISTA DE FILOSOFIA, 2018, 74 : 215 - 241
12345