讲座回顾｜王路：亚里士多德的《形而上学》

2024-05-14

---

讲座回顾｜王路：亚里士多德的逻辑学说

2024-05-14

---

讲座回顾｜王路：逻辑与形而上学—古希腊的遗产和启示

2024-05-13

---

讲座回顾 | Thomas Agotnes：模态逻辑中的有人知道与弱合取公理

2023-10-27

---

讲座回顾 | 刘壮虎：“不定主体的认知谓词逻辑”

2023-10-17

---

讲座回顾 | 刘壮虎：“性质词的逻辑特征”

2023-10-12

---

Thomas Ågotnes：模态逻辑中的有人知道与弱合取公理

2023-10-10

---

刘壮虎：不定主体的认知谓词逻辑

2023-10-07

---

刘壮虎：性质词的逻辑特征

2023-09-27

---

报告回顾 | Pavel Naumov："真值集代数：不可定义性证明的新方法"

2023-09-06

---