讲座预告 | 王轶:模态逻辑系列讲座(03.21-25)
2025-03-10
讲座回顾 | 陈小娟:基于动态认知逻辑的非单调密码协议分析
2025-03-16
讲座回顾 | 张燕京:弗雷格的真之理论
2024-10-28
讲座回顾 | 蔡曙山:逻辑、人类心智与人工智能
2024-09-28
讲座回顾 | 刘虎:信念的概率模型
2024-09-25
[现代逻辑讨论班]博士生郑怡:动态认知逻辑
2025-03-26
党建活动 | 学会党支部参观重庆市合川区陶行知先生纪念馆
2024-12-30
[现代逻辑讨论班]博士生彭海琪:动态认知逻辑与时态认知逻辑模型的相互转化
2024-12-23
[现代逻辑讨论班]硕士生何森洋:通过辛提卡集(Hintikka set)证明完全性
2024-12-09
[现代逻辑讨论班]博士生郑怡:关于知识的逻辑研究
2024-12-09
在读硕士研究生名单
2024-09-02
在读博士研究生名单
2024-09-02
出站博士后
2018-04-24
历届硕士研究生名单
2021-06-29
历届博士研究生名单
2021-06-29