讲座回顾 | 王轶:模态逻辑系列讲座Ⅲ——加权模态逻辑
2025-03-28
讲座回顾 | 王轶:模态逻辑系列讲座Ⅱ——分布式知识的逻辑刻画
2025-03-28
讲座回顾 | 王轶:模态逻辑系列讲座Ⅰ——模态框架性质的保持问题
2025-03-28
讲座预告 | 王轶:模态逻辑系列讲座(03.21-25)
2025-03-10
讲座回顾 | 陈小娟:基于动态认知逻辑的非单调密码协议分析
2025-03-16
讲座回顾 | 张燕京:弗雷格的真之理论
2024-10-28
讲座回顾 | 蔡曙山:逻辑、人类心智与人工智能
2024-09-28
讲座回顾 | 刘虎:信念的概率模型
2024-09-25
讲座回顾 | 王彦晶:知识三段论
2024-06-14
讲座回顾 | 王轶:胡话的逻辑分析
2024-06-11
共44条 首页上页12345下页尾页 /5页 跳转