Location：Building of Geometry(地学楼) 206
|
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Sep. 10 |
Openning |
||
| Sep. 17 |
|
holiday |
|
|
Sep. 24 |
Xinwen Liu (刘新文) |
金岳霖与皮尔士的Type-Token-Tone学说 |
|
| Oct. 1 |
|
holiday |
|
| Oct. 8 |
Yunsong Wang （王云崧） |
Introduction to Provability Logic |
|
| Oct. 15 |
Bruno Bentzen |
Bishop's View of Mathematical Constructions |
|
|
Oct. 22 |
Mikołaj Bojańczyk |
Orbit-finite Sets |
|
|
Oct. 29 |
Lev Beklemishev |
Reflection Principles and Proof-theoretic Analysis |
|
|
Nov. 5 |
Hans van Ditmarsch |
"To Be Announced" | |
| Nov. 12 |
Lukas Zenger |
A Sound and Complete Axiomatization for Intuitionistic Linear Temporal Logic
|
|
| Nov. 19 |
Yuanzhe Yang （杨远哲） |
Semantics for Varying-Domain First-Order Modal Logic |
|
| Nov. 26 |
Hanyu Li （李翰禹） |
The Quotient-to-Symbol Principle of Human Reasoning |
|
|
Dec. 3 |
Diego Fernandes |
|
|
| Dec. 10 |
Shengyang Zhong (钟盛阳） |
Quantum Theory: Some Glimpses from the Perspective of Logic | |
|
Dec. 17 |
Mamoru Kaneko |
|
|
|
Dec. 24 |
Bo Hong (洪博) |