赫里萨菲斯·哈托纳斯 非分配逻辑的博弈论语义。 (英文) Zbl 1494.03073号 日志。J.IGPL公司 27,第5期,718-742(2019). 摘要:我们介绍了系统的游戏理论语义,这些系统既没有De Morgan否定的便利,也没有连接分布在析取上的便利,反之亦然。大多数游戏都是基于一个玩家向另一个玩家发出的挑战来满足或反驳一个句子,同时迫使他/她移动到游戏棋盘状配置中的其他位置。对于与正格逻辑相对应的训练游戏和具有弱否定和模态算子的格逻辑(模态格逻辑)的更高级游戏,证明了游戏理论语义的正确性。 引用于1文件 MSC公司: 03B60号 其他非经典逻辑 03B45号 模态逻辑(包括规范逻辑) 03G10年 格和相关结构的逻辑方面 关键词:游戏理论语义;非分配逻辑;模态格逻辑的博弈 PDF格式BibTeX公司 XML格式引用 \textit{C.Hartonas},日志。J.IGPL 27,No.5,718--742(2019;Zbl 1494.03073) 全文: 内政部