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

2023-10-17

---

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

2023-10-12

---

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

2023-10-10

---

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

2023-10-07

---

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

2023-09-27

---

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

2023-09-06

---

Pavel Naumov：真值集代数：不可定义性证明的新方法

2023-09-04

---

李延军：“概率逻辑系统”报告回顾

2022-11-18

---

范杰：“关于无知的逻辑研究”报告回顾

2022-10-31

---

李延军：概率逻辑系统

2022-10-28

---