Location：Teaching Building No.2 (二教) 314
Time |
Speaker | Title | Notes |
|---|---|---|---|
| Mar. 3 | Opening | ||
| Mar. 10 | Qichen Yan (闫琦琛) |
Grounding Existence |
|
Mar. 17 |
Tianwen Xu (许天问) |
Is Deontic Logic Too Much for Legal Reasoning? |
|
| Mar. 24 | Ning Gan (甘宁) |
The Consistency Proof of the Proper Forcing Axiom | |
| Mar. 31 | Alexander Gheorghiu | Logical Inferentialism: Anti-realism and the Foundations of Formal Logic | |
| Apri. 7 | Matilda Häggblom | Capturing Dual Properties in Propositional Team Semantics | |
Apri. 14 |
Hanoch Ben-Yami | The Quantified Argument Calculus: Introduction and Research Directions |
|
Apri. 21 |
Andreas Herzig | Dynamic Logic of Propositional Assignments |
|
Apri. 28 |
Wenjuan Li (李文娟) |
||
| May. 5 | holiday | ||
| May. 12 | |||
| May. 19 | |||
May. 26 |
Francesca Boccuni | ||
| Jun. 2 | Achille Varzi | ||
Jun. 9 |
|||