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 条
  • [41] Game semantics approach to higher-order complexity
    Feree, Hugo
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 87 : 1 - 15
  • [42] Game semantics of Martin-Lof type theory
    Yamada, Norihiro
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2023, 33 (07) : 605 - 646
  • [43] Software Model Checking Based on Game Semantics and CSP
    Dimovski, Aleksandar
    Lazic, Ranko
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 105 - 125
  • [44] Randomized game semantics for semi-fuzzy quantifiers
    Fermueller, Christian G.
    Roschger, Christoph
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (03) : 413 - 439
  • [45] Algorithmic probabilistic game semanticsPlaying games with automata
    Stefan Kiefer
    Andrzej S. Murawski
    Joël Ouaknine
    Björn Wachter
    James Worrell
    Formal Methods in System Design, 2013, 43 : 285 - 312
  • [46] Second-order type isomorphisms through game semantics
    de Lataillade, Joachim
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 151 (2-3) : 115 - 150
  • [47] Game semantics for non-monotonic intensional logic programming
    Galanaki, Chrysida
    Nomikos, Christos
    Rondogiannis, Panos
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (02) : 234 - 253
  • [48] Refinement-Based Game Semantics for Certified Abstraction Layers
    Koenig, Jeremie
    Shao, Zhong
    PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 633 - 647
  • [49] A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
    Hlobil, Ulf
    SYNTHESE, 2022, 200 (05)
  • [50] Non-Alternating ActorGame: Game Semantics for Actors without Alternation
    Dai, Guiping
    Wang, Yong
    2013 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA), 2013, : 539 - 544
12345