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 条
  • [1] Game Semantics in String Diagrams
    Mellies, Paul-Andre
    2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 481 - 490
  • [2] Through diagrams: Discovery in game playing
    Epstein, SL
    SPATIAL COGNITION IV, REASONING, ACTION, INTERACTION, 2004, 3343 : 259 - 282
  • [3] Learning on paper: Diagrams and discovery in game playing
    Epstein, SL
    Keibel, JH
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2002, 2317 : 31 - 45
  • [4] Playing with diagrams
    Lindsay, RK
    THEORY AND APPLICATION OF DIAGRAMS, PROCEEDINGS, 2000, 1889 : 300 - 313
  • [5] A semantics of sequence diagrams
    Cho, SM
    Kim, HH
    Cha, SD
    Bae, DH
    INFORMATION PROCESSING LETTERS, 2002, 84 (03) : 125 - 130
  • [6] NONDETERMINISTIC SEMANTICS OF COMPOUND DIAGRAMS
    Tchier, Fairouz
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES S, 2015, 8 (06): : 1357 - 1371
  • [7] Generic semantics of feature diagrams
    Schobbens, Pierre-Yves
    Heymans, Patrick
    Trigaux, Jean-Christophe
    Bontemps, Yves
    COMPUTER NETWORKS, 2007, 51 (02) : 456 - 479
  • [8] The semantics of augmented constraint diagrams
    Fish, A
    Flower, J
    Howse, J
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2005, 16 (06): : 541 - 573
  • [9] SEMANTICS OF DOMAIN OF FLOW DIAGRAMS
    REYNOLDS, JC
    JOURNAL OF THE ACM, 1977, 24 (03) : 484 - 503
  • [10] Structure and semantics of arrow diagrams
    Kurata, Y
    Egenhofer, MJ
    SPATIAL INFORMATION THEORY, PROCEEDINGS, 2005, 3693 : 232 - 250
12345