Location：Teaching Building No.2 (二教) 313
|
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Feb. 20 |
Openning |
||
| Feb. 27 |
Linfeng Wang (王林峰) Yipu Li (李一朴) |
A slight modification of Quine’s New Foundations
带量词的命题模态逻辑的完全性 |
|
|
Mar. 5 |
Bo Hong (洪博) Yunsong Wang (王云崧) |
先秦类名与类名之实
0-1 Law for Modal Logic |
|
| Mar. 12 |
Wen Tang (唐闻) Qianli Ma (马千里) |
Substitution as modalities
关于学习理论的动态逻辑 |
|
| Mar. 19 |
Weiwei Chen (陈伟伟) |
An Axiomatic Approach to Collective Decision-Making through Abstract Argumentation: Static and Dynamic Perspectives |
|
| Mar. 26 |
Beyong-uk Yi |
Classical Mereology and Plural Identity |
|
|
Mar. 29 (Friday) |
Wesley Holliday |
Modal logic, fundamentally |
|
|
Apr. 1 (Monday) |
Fan Yang (杨帆) |
A complete logic for first-order team properties |
|
|
Apr. 9 |
Søren Knudstorp | Features of (Un)decidable Logics | |
| Apr. 16 |
Xubing Deng (邓徐冰) Linzhen Gong (龚霖振) |
Incompleteness via paradox
几何定理机器证明与Hilbert机械化定理
|
|
| Apr. 22 |
Jason Chen （陈泽晟） |
Justification by confluence | |
| Apr. 23 |
Zhiguang Zhao （赵之光） & Xiaoxuan Fu (付小轩) |
Modal Logic with Counting | |
|
Apr. 26 (Friday) |
Valentin Goranko |
Logics for Strategic Reasoning of Socially Interacting Rational Agents |
|
| Apr. 30 |
|
holiday | |
|
May. 10 (Friday) |
Sonja Smets & Alexandru Baltag |
Reasoning about Epistemic Superiority and Data Exchange & Data-exchange events with preconditions and knowledge of values |
|
|
May. 16 (Thursday) |
Guozhen Shen (申国桢) |
康托定理在ZF中的推广 | |
|
May. 21 |
Bo Hong (洪博) Yunsong Wang (王云崧) |
墨辩研究
Infinitesimal Probabilities |
|
| May. 28 |
Wen Tang (唐闻) Qianli Ma (马千里) |
Symbolic implementation of the best transformer
Logic for intensional operators and non-existence |
|
| Jun. 4 |
Xubing Deng (邓徐冰) Linzhen Gong (龚霖振) |
Incompleteness via paradox II
非标准分析视角下的数学结构 |