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] A formal semantics for object model diagrams - Comment
    Botting, RJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (12) : 911 - 911
  • [22] Required Behavior of Sequence Diagrams: Semantics and Refinement
    Lu, Lunjin
    Kim, Dae-Kyoo
    2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 127 - 136
  • [23] Compositional semantics for diagrams using constrained objects
    Jayaraman, B
    Tambay, P
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2002, 2317 : 94 - 96
  • [24] Bialgebraic foundations for the operational semantics of string diagrams
    Bonchi, Filippo
    Piedeleu, Robin
    Sobocinski, Pawel
    Zanasi, Fabio
    INFORMATION AND COMPUTATION, 2021, 281
  • [25] SPEULER: Semantics-preserving Euler Diagrams
    Kehlbeck, Rebecca
    Goertler, Jochen
    Wang, Yunhai
    Deussen, Oliver
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2022, 28 (01) : 433 - 442
  • [26] A framework for semantics of UML sequence diagrams in PVS
    Aredo, DB
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (07): : 674 - 697
  • [27] Basic influence diagrams and the liberal stable semantics
    Matt, Paul-Amaury
    Toni, Francesca
    COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008, 2008, 172 : 228 - 239
  • [28] PLAYING WORDS WITH GAMES + EXPRESSIONS RELATING TO GAME PLAYING
    HIRSCHBERG, S
    VERBATIM, 1986, 12 (03): : 7 - 10
  • [29] GAMES, GAME-PLAYING AND TECHNOLOGY
    AVEDON, EM
    IMPACT OF SCIENCE ON SOCIETY, 1982, 32 (04) : 405 - &
  • [30] Towards a Semantics of Activity Diagrams with Semantic Variation Points
    Groenniger, Hans
    Reiss, Dirk
    Rumpe, Bernhard
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, 2010, 6394 : 331 - +
12345