.png){kind=icon}
返回
Insensitive Games: Game Semantics for Modal Insensitivity
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-99536-1_14.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文介绍了一种用于自反不敏感逻辑的游戏理论语义，并观察了如何修改经典语义游戏以分配自反不敏感性。随后，我们将语义游戏扩展以开发新的游戏和新的模态算子。我们在每种情况下都证明了正确性定理。
Keyword:
Game semantics
Reflexive Insensitivity
Semantic Insensitivity
Non-normal Modal Logics
期刊
L
IF:
0
论文数:
21
被引数:
0
机构
引用论文
.png){kind=icon}
查看更多内容