4月8日晚，钦奈印度统计研究所（ISI, Chennai）计算机科学系副教授苏迦塔·高希（Sujata Ghosh）做客清华逻辑线上研讨第五讲，发表题为“博弈逻辑”的报告。

高希基于其最新的研究成果，首先简述了命题动态逻辑，然后介绍了博弈逻辑的基础概念（最早由Rohit Parikh在1985年提出），以及过去20年中学界研究过的博弈逻辑的各种变体。她认为博弈逻辑能够为多主体系统提供一种更为自然的描述系统间差别的方法，并提出了一种作用于策略的博弈逻辑。最后，高希给出了一些开放的问题，与大家一起讨论，以增进大家对这一领域的研究兴趣与思考。

研讨会由石辰威博士主持，清华校内外师生50余人参加，在热烈的线上讨论中落下帷幕。清华逻辑与海外学者将继续坚持开办线上研讨会，稳定有序的推进科研工作，共克时艰。

报告内容近期将会在清华学堂在线陆续推出。

高希，加尔各答大学纯数学博士，曾在阿姆斯特丹大学逻辑、语言与计算研究中心（ILLC）和格罗宁根大学人工智能与认知工程研究中心（ALICE）从事博士后研究。主要研究领域包括逻辑学、博弈论、信息动态理论、社会选择理论及社会认知理论。