时间:周二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日 |