清华大学—阿姆斯特丹大学逻辑学联合研究中心论文

哲学研究图博弈的设计与模态逻辑的发展约翰·范本特姆刘奋荣摘要：图博弈是一种主体间互动的场景，可以使用模态逻辑的语言描述。模态词用来描述博弈玩家的行为，博弈的均衡和...