| 时间 | 报告人 | 题目 | 点评人 | 附件 |
|---|---|---|---|---|
| 9.10 | 王勋 | A Logic of Knowing How with Skippable Plans | 张瑜 | 附件 |
| 9.17 | 王云崧 | An Introduction to Forcing | 附件 | |
| 9.24 | 张瑜 | Interventions in Premise Semantics | 王洪光 | 附件 |
| 10.1 | 国庆假期 | |||
| 10.8 | John Symons | Computation in the Physical World | 附件 | |
| 10.15 | Wesley Holliday | Axiomatizing Reasoning about Sets: Cardinality, Mereology, and Decisiveness |
||
| 10.22 | Kevin Kelly | Beliefs, Probabilities, and Their Coherent Correspondence | ||
| 10.29 | 徐超、李大柱 | Automated Spatial Semantic Analysis Towards Commonsense Reasoning、Losing Connection: the Modal Logic of Definable Link Deletion | 李大柱、徐超 | 附件 |
| 11.5 | 秦云飞 | 强极小理论简介 |
刘诗霄
|
附件 |
| 11.12 | 王一廷 | Buchi Automata and its application to Logic
|
刘诗霄 | 附件 |
| 11.19 | 石辰威 |
Collective Belief, Naïve Learning and the Wisdom of Crowds |
附件 | |
| 11.26 | 王洪 | 逻辑能解法律论证之困吗？ | 附件 | |
| 12.3 | 魏来 | Logic and Social Choice Theory | 王一廷 | 附件 |
| 12.10 | 方楠 | Defining Randomness by Martingales | ||
| 12.17 | 曾图 | Logic Games | 秦云飞 | 附件 |
| 12.24 | 孙薇薇 | Graph- based parsing into logical forms |