录用论文
常规论文:
作者 | 论文题目 |
范杰 | Logics of non-actual possible worlds |
曾千里、熊明 | The Elimination of Direct Self-Reference |
张文彦、周北海 | 事件-状态语义学:一个关于英语时体时态句的形式语义 |
梁飞、赵之光 | Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations |
孙鑫、何霏霏、邱道文、Piotr Kulicki、Mirek Sopek、郭美云 | Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution |
陈霖、文学锋 | On the Transitivity of Logical Consequence in the Framework of Nonmonotonic Logic |
魏宇 | Matching Theories With Observations: A Logic for Adequate Knowing Why |
吴近悦 | 直觉主义中的函数消极连续性定理 |
范杰 | Axiomatizing Rumsfeld Ignorance |
熊作军 | 自反且传递的秘密逻辑系统 |
李延军、赵嘉洁 | A Logic for Probabilities of Successive Events |
王晓乐 | 命题是使真者的集合吗 |
杨曦 | 正规多元模态逻辑的一元弱聚合片段 |
孙健 | The DEFENCE of ABDUCTION from the perspective of mentalism |
胡兰双 | 何为“必然真”? ——从真理符合论的视角看 |
王聪 | 本质与模态:当代模态本质主义认识论 |
贾青 | A Logical System for Continuous Actions of Accomplishment |
程佑、Dov M. Gabbay、廖备水 | Equational Approach to generalized Bipolar Argumentation Frameworks |
骆犀羚 | 异构网络类聚动态的逻辑研究:公理化及应用 |
学生摘要:
作者 | 论文题目 |
黄祎妮 | 基于 STIT 逻辑对“应该不知道”的刻画 |
孟惠民 | 偶然非具体主义与代现实主义 |
李珮瑜 | 关于“应该知道”的哲学逻辑研究与探讨 |
韩琳琳 | 关于知识遗忘与回忆的动态认知逻辑研究 |