时间:周二15:10-18:00 地点:二教416
时间 | 报告人 | 评论人 | 题目 | 附件 |
3月9日 | 王昊玉 | Knowing how to understand inquisitive logic | ||
3月16日 | 刘力恺 | 陈至诚 | 罗素的分支类型论 | 附件 |
3月23日 | 林凯杨 | 王潇扬 | Discrete linear temporal logic with Knowing-value operator | |
3月30日 | 陈至诚 | 刘力恺 | 一阶逻辑的代入 | |
4月6日 | 王强 | 王勋 | 《墨经·小取》中的行为概念与逻辑 | |
4月13日 | 叶凌远 | Categories Are the Right Land for (Mathematical) Logic | ||
4月20日 | 王潇扬 | 王昊玉 | 模态逻辑中格的完全性证明 | |
4月27日 | 叶闯 | 使真者理论的基本观念及其哲学问题 | ||
5月7日上午(线上报告) | 金人麟 | 非标准分析的两个主要流派 | ||
5月11日 | 王以松 | Knowledge Forgetting in Answer Set Programs | ||
5月18日 | 刘壮虎 | 蕴涵的邻域语义学刻画 | ||
5月25日(线上报告) | 江璐 | 亚里士多德论否定:对当方阵、排中律和矛盾律 | ||
6月4日9:00(线上报告) | 丁一峰 | Split Cycle: a New Condorcet Consistent Voting Method and Its Axiomatic Characterization | ||
6月8日 | 王一廷、魏来 |
知识逻辑视角下的零知识证明、 Gibbard-Satterthwaite定理的逻辑刻画 |
||
6月15日(线上报告) | 顾韬 | Probabilistic logic programming and Bayesian networks: a string diagram perspective | ||
6月22日 | 复习停课 | |||