语言和计算研究所论文

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