Location：Teaching Building No.2 (二教) 411
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Sep. 8 | Hanyu Li （李翰禹） |
No Free Conversion: What Mathematical Shorthand Hides |
|
| Sep. 15 | Lukas Zenger |
Cyclic Proofs with Nested Sequents |
|
Sep. 22 |
Daheng Ju （鞠大恒） |
非良基集合论介绍 |
|
| Sep. 29 | Malvin Gattinger |
Craig Interpolation for PDL, finally and formally |
|
| Oct. 6 |
|
holiday |
|
| Oct. 13 | Leon Horsten |
Flexible Objects |
|
Oct. 20 |
Haitian Wang (王海天) & Qianli Zen (曾千里) |
A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic & Finite-variable Goldblatt-Thomason Theorems |
|
Oct. 27 |
Wouter Cohen |
Empiricism and Modality: A New Semantics for First-order Modal Logic |
|
Nov. 3 |
Maria Aloni |
Nothing is Logical |
|
| Nov. 10 | Daxin Liu (刘达欣) |
|
|
| Nov. 17 |
|
|
|
| Nov. 24 | |||
Dec. 1 |
Qi Qiu （邱奇） |
||
| Dec. 8 | Mark van Atten |
||
Dec. 15 |
|||
Dec. 22 |
Yipu Li (李一朴) |