主题:Complexity of Modal Logic
简介:该读书班是由清华大学逻辑研究中心以及印度统计研究所( Indian Statistical Institute)的老师同学共同组织发起,目的是通过相关教材的研读讨论,使大家对模态逻辑的基础知识,尤其是模态逻辑的复杂性相关知识有细致的了解。
形式:线上Zoom会议+Discord的形式。每次报告会指定一名或多名同学在Zoom会议作报告,并进行相关讨论。在Discord上,亦可自由地进行提问和答疑。在报告结束之后,会指定同学对报告的内容进行检查,并要求对错误进行更正。希望通过这种方式,使得大家同时进行开放的交流和严谨的论证。
时间:北京时间每周四下午3-4点
主要讨论材料:Complexity of modal logic, by François Schwarzentruber
下载地址:https://cloud.tsinghua.edu.cn/d/73ebfcecc2f54e638537/
联系人:李磊 lilei19@mails.tsinghua.edu.cn