Dynamic game semantics

被引：0

作者：

Janasik, T ^{[1
]}

Sandu, G ^{[1
]}

机构：

[1] Univ Helsinki, Dept Philosophy, Helsinki, Finland

来源：

MEANING: THE DYNAMIC TURN | 2003年 / 12卷

关键词：

D O I：

暂无

中图分类号：

H [语言、文字];

学科分类号：

05 ;

摘要：

引用

收藏

页码：215 / 240

页数：26

相关论文

共 50 条

[41] From CSP to Game Semantics
Abramsky, Samson
REFLECTIONS ON THE WORK OF C A R HOARE, 2010, : 33 - 45
[42] On the theory of anaphora: Dynamic predicate logic vs. game-theoretical semantics
Sandu, G
LINGUISTICS AND PHILOSOPHY, 1997, 20 (02) : 147 - 174
[43] On the Theory of Anaphora: Dynamic Predicate Logic vs. Game-Theoretical Semantics
Gabriel Sandu
Linguistics and Philosophy, 1997, 20 : 147 - 174
[44] Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects
Laird, J.
ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (02) : 470 - 500
[45] Game Semantics for a Polymorphic Programming Language
Laird, J.
JOURNAL OF THE ACM, 2013, 60 (04)
[46] Game Semantics for Modal Logic with Counting
Fu, Xiaoxuan
Zhao, Zhiguang
ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS, AILA 2024, 2025, 2248 : 3 - 16
[47] A game semantics for disjunctive logic programming
Tsouanas, Thanos
ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) : 1144 - 1175
[48] Quantitative Game Semantics for Linear Logic
Dal Lago, Ugo
Laurent, Olivier
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 230 - +
[49] An Algebraic Account of References in Game Semantics
Mellies, Paul-Andre
Tabareau, Nicolas
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 377 - 405
[50] A parallel game semantics for Linear Logic
Baratella, S
Berardi, S
ARCHIVE FOR MATHEMATICAL LOGIC, 1997, 36 (03) : 189 - 217

← 1 2 3 4 5 →