2020春季报告

发布日期:2020-02-17 作者:

                                                时间:周二15:00-18:00   

时间 报告人 评论人 题目 件附
2月18日 周北海   日常概念与概称句逻辑 附件
2月25日 王一廷 王勋 Zero-Knowledge and An Epistemic
Characterization of it
附件
3月3日 秦云飞 刘诗霄 图灵偏序结构 附件
3月10日 魏来 王潇扬 Arrow's Decisive Coalitions 附件
3月17日 王勋 王潇扬 Decidable Bundled Fragments of First-Order Modal Logic     附件
3月24日 张瑜 王洪光 反事实依赖和时间的箭  
3月31日 王彦晶   一个“老改犯”的自白:论文写作的经验与教训交流 附件
4月7日 曾图 王勋 Independence-friendly Logic  附件
4月14日 Hans van Ditmarsch   One Hundred Prisoners and a Light Bulb 附件
4月21日 郝兆宽   哲学要从逻辑中学习什么?——读《逻辑之旅》第八章   
4月28日 钟盛阳   Quantum States: An Analysis via the Indiscriminability Relation  
5月5日     劳动节放假  
5月12日        
5月19日 徐超   带场景约束的自然语言自动形式化研究  
5月26日 杨帆   Dependence Logic  
6月2日