Location：Natural Sciences Teaching Building (理教) 211
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Sep. 9 | Robert Goldblatt | Admissible Semantics for Modal Logics |
|
| Sep. 16 | Robert Goldblatt |
Morphisms and Duality for Polarities |
|
Sep. 23 |
Yue Yang （杨跃） |
论可计算性 |
|
| Sep. 30 | Guillaume Massas |
Recent Advances in Fundamental Logic |
online (details) |
| Oct. 7 |
|
holiday |
|
| Oct. 14 | Liang Yu （喻良） |
What Can Be Deduced from Turing Determinacy? |
|
Oct. 21 |
cancelled |
||
Oct. 28 |
Hongyi Wang （王鸿仪） Bin Liu (刘彬) |
A Formalization of the Consecutive Numbers Puzzle Distributed Knowing How |
|
Nov. 4 |
Frank Veltman |
Mini-Course on Update Semantics (1) |
|
| Nov. 11 | Frank Veltman |
Mini-Course on Update Semantics (2) |
|
| Nov. 18 | Zilu Wang (王子路) |
A Comparison of Bundled Approach to Deontic Logic for Strong Permission with Nygren's Alternative Semantics Approach and Fine's Truthmaker Semantics Approach |
|
| Nov. 25 |
|
|
|
Dec. 2 |
Daisuke Ikegami |
|
|
| Dec. 9 | Naijun Zhan (詹乃军) |
||
Dec. 16 |
|
||
Dec. 23 |
|