Location：Building of Geometry(地学楼) 108
|
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Sep. 12 | Thomas Bolander |
From Dynamic Epistemic Logic to Socially Intelligent Robots |
|
| Sep. 19 | R. Ramanujam | A Model for the Emergence of Collective Memory | |
|
Sep. 20 (Wednesday) |
Adam Bjorndahl | Knowing and Measuring |
in the morning, online & offline |
| Sep. 26 |
Hans Rott & Wei Zhu (朱薇) |
The Dynamics of Non-belief (with Modesty) by Hans Rott Towards Topic-Related Ordering for Belief Suspension: A New Framework by Wei Zhu |
|
| Oct. 3 |
holiday |
||
| Oct. 10 |
Hanyu Li (李翰禹) |
Climbing the Ladder of Rationality: Approaching Nash Equilibria in Bounded-Rational Multi-Agent Systems |
|
| Oct. 17 | Kyle Gannon |
Model Theory and Measures |
|
| Oct. 24 |
Baokai Yao (姚博凯) |
什么是无素集合论？ |
|
| Oct. 31 | Danielle Macbeth |
Ampliative Deductive Proof in Mathematical Pratice--Lessons from Kant and Frege |
|
| Nov. 7 |
Wen Tang (唐闻) |
Matching Logic |
|
| Nov. 14 |
Haoyu Wang (王昊玉) |
从知识逻辑的视角分析直觉主义模态词定义 | |
| Nov. 21 |
Mingsheng Ying (应明生) |
Quantum Hoare Logic and Its Applications | |
| Nov. 28 |
Linzhen Gong (龚霖振) |
Structures of Borel Sets | |
|
Dec. 8 (Friday) |
Junhua Yu (俞珺华) |
Exploring Instantial Operators for Neighborhood Structures |
|
| Dec. 12 |
Likai Liu (刘力恺) |
逻辑与形而上学互动的一个案例： 从《数学原理》第一版到第二版 | |
| Dec. 19 |
Xubing Deng (邓徐冰) |
哥德尔不完全定理的不同证明路径 |
|
| Dec. 26 |
Qianli Ma (马千里) |