第16届全国现代逻辑学术研讨会
The 16th National Conference on Modern Logic

  录用论文


常规论文:



作者 论文题目
范杰 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 逻辑对“应该不知道”的刻画
孟惠民 偶然非具体主义与代现实主义
李珮瑜 关于“应该知道”的哲学逻辑研究与探讨
韩琳琳 关于知识遗忘与回忆的动态认知逻辑研究