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 条
  • [31] A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis
    Lima, Lucas
    Iyoda, Juliano
    Sampaio, Augusto
    PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 317 - 324
  • [32] Semantics-based weaving of UML sequence diagrams
    Gronmo, Roy
    Sorensen, Fredrik
    Moller-Pedersen, Birger
    Krogdahl, Stein
    THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2008, 5063 : 122 - 136
  • [33] Numeric semantics of class diagrams with multiplicity and uniqueness constraints
    Feinerer, Ingo
    Salzer, Gernot
    SOFTWARE AND SYSTEMS MODELING, 2014, 13 (03): : 1167 - 1187
  • [34] Formal Semantics of Interactions in Sequence Diagrams for Embedded Software
    Ejnioui, Abdel
    Otero, Carlos E.
    Qureshi, Abrar A.
    2013 IEEE CONFERENCE ON OPEN SYSTEMS (ICOS), 2013, : 106 - +
  • [35] Retrieval of UML Class Diagrams Based on Semantics and Structure
    Yuan Z.-C.
    Ma Z.-M.
    Dongbei Daxue Xuebao/Journal of Northeastern University, 2020, 41 (01): : 23 - 28
  • [36] ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS
    Lam, Vitus W.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (04) : 541 - 567
  • [37] Positive semantics of projections in Venn-Euler diagrams
    Gil, JY
    Howse, J
    Tulchinsky, E
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2002, 13 (02): : 197 - 227
  • [38] Branching time semantics for UML 2.0 sequence diagrams
    Hammal, Youcef
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006, 2006, 4229 : 259 - 274
  • [39] On execution semantics of UML statechart diagrams using the π-calculus
    Lam, VSW
    Padget, J
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 877 - 882
  • [40] Integration of UML Class Diagrams Based on Semantics and Structure
    Yuan, Zhongchen
    Hu, Xingda
    Zhang, Gang
    Ma, Zongmin
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2024, 34 (08) : 1281 - 1312
12345