2021年春

发布日期:2021-02-04 作者:

  时间:周二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日 复习停课