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 (李文娟) |
A Fine Alternation Hierarchy of the Modal Mu-calculus |
|
| May. 5 | holiday | ||
| May. 12 | Hongyi Wang （王鸿仪） |
Knowing-value Logic with Successor Arithmetic | |
| May. 19 | Daopu Jiang (蒋道朴) |
Independence of Choice Switch | |
May. 26 |
Nick Bezhanishvili | Stable Canonical Formulas and Rules and Their Applications |
|
Jun. 5 (Friday) |
Achille C. Varzi | Classical Mereology: Past, Present, and Challenges |
This session is on Friday |
Jun. 9 |
Yunsong Wang (王云崧) |
Problem Semantics for IPC | |