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] Truth Diagrams Versus Extant Notations for Propositional Logic
    Peter C.-H. Cheng
    Journal of Logic, Language and Information, 2020, 29 : 121 - 161
  • [2] Truth Diagrams Versus Extant Notations for Propositional Logic
    Cheng, Peter C-H
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2020, 29 (02) : 121 - 161
  • [3] Dynamic game semantics
    Yamada, Norihiro
    Abramsky, Samson
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (08) : 892 - 951
  • [4] A game semantics for Grz
    Mezhirov, Ilya
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (05) : 663 - 669
  • [5] A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
    Moraschini, Tommaso
    REVIEW OF SYMBOLIC LOGIC, 2018, 11 (04) : 780 - 804
  • [6] A Game Semantics for System P
    Marti, J.
    Pinosio, R.
    STUDIA LOGICA, 2016, 104 (06) : 1119 - 1144
  • [7] ActorGame: Game Semantics for Actors
    Wang, Yong
    Dai, Guiping
    2013 FOURTH GLOBAL CONGRESS ON INTELLIGENT SYSTEMS (GCIS), 2013, : 5 - 10
  • [8] Game Semantics for Access Control
    Abramsky, Samson
    Jagadeesan, Radha
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 135 - 156
  • [9] Algorithmic probabilistic game semantics
    Kiefer, Stefan
    Murawski, Andrzej S.
    Ouaknine, Joel
    Wachter, Bjoern
    Worrell, James
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 285 - 312
  • [10] Game Semantics for Quantum Programming
    Clairambault, Pierre
    De Visme, Marc
    Winskel, Glynn
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
12345