欢迎申请直博或者博士位置

招生方向:模态逻辑和人工智能逻辑

本学期的知识逻辑课

每周三 79 地点:316

Delta Workshop on Sept. 8th @PKU

详情请见网页