您的位置:首页 >
天辅逻辑论坛(Tianfu Logic)
- [2023-10-27]报告回顾 | Thomas Agotnes:模态逻辑中的有人知道与弱合取公理
- [2023-10-17]报告回顾 | 刘壮虎:“不定主体的认知谓词逻辑”
- [2023-10-12]报告回顾 | 刘壮虎:“性质词的逻辑特征”
- [2023-10-10]Thomas Ågotnes:模态逻辑中的有人知道与弱合取公理
- [2023-10-07]刘壮虎:不定主体的认知谓词逻辑
- [2023-09-27]刘壮虎:性质词的逻辑特征
- [2023-09-06]报告回顾 | Pavel Naumov:"真值集代数:不可定义性证明的新方法"
- [2023-09-04]Pavel Naumov:真值集代数:不可定义性证明的新方法
- [2022-11-18]李延军:“概率逻辑系统”报告回顾
- [2022-10-31]范杰:“关于无知的逻辑研究”报告回顾
- [2022-10-28]李延军:概率逻辑系统
- [2022-10-09]范杰:关于无知的逻辑研究
- [2022-06-18]孙洋:“从序提升到道义逻辑”报告回顾
- [2021-06-29]范杰:“关于四类信念的逻辑研究”报告回顾
- [2021-06-29]徐召清:“知识限度的逻辑分析”报告回顾
- [2021-06-16]范杰:关于四类信念的逻辑研究
- [2021-06-16]徐召清:知识限度的逻辑分析
- [2021-06-16]陈波:反驳克里普克反描述论的两个论证
- [2021-06-15]孙鑫:薛定谔的选票: 量子信息与阿罗不可能定理的违反
- [2021-05-31]刘海林:决策论视域下的信息价值