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 条
12345