会议论文

本次会议共收到64篇稿件投稿，经程序委员会初筛，共有50篇稿件进入程序委员会审稿。根据投标意向，每篇稿件都指派了2-3名专家实行“三盲匿名”审稿，根据审稿结论，共接受了20篇稿件为“常规论文”，12篇稿件为“海报论文”，现公布如下：

常规论文（第一作者姓名音序）

1. Binghe Gong and Yetao Hu. Unrestricted Fusion and the Recombination Paradox
2. Chen Yang. Counting the Cost of Countabilism
3. Fei Xue and Tianyi Chu. On the Co-measurability of Experimental Propositions: a Team-based Logical Analysis
4. Jie Fan. Correcting Factive Ignorance: A Revised Logico-Semantic Framework
5. Jingru Kou and Yetao Liu. 从元语言进路到认知假扮 ——回应“弗雷格之谜”的直接指称理论新方案
6. Lin Chen and Xuefeng Wen. Are ST and CL the Same Logic?
7. Liying Zhang. The Logics for Exclusive Ceteris Paribus Laws
8. Rui Zhu. A Complete Tableau System for Social Announcement Logic
9. Xin Sun, Xingchi Su, Xiaoning Bian and Huiwen Wu. Satisfaction-based Quantum Hoare Logic With Deterministic Assertion
10. Yang Cheng and Shi Hongji. 论预设理论与AI逆转诅咒
11. Yetao Hu. 逻辑休谟随附性与逻辑虚无论
12. Yiheng Wang. 时态奥卡姆逻辑
13. Yingtong Ye. A Plan-Based Logic of Sufficient Means and Dynamic Goals
14. Yixin Pan and Meiyun Guo. Belief Revision and Probability Update Based on Public Announcement
15. Zhentao Zhang. On definable J-sets
16. Zhiqiang Sun and Zitong Hao. 20世纪前期“援式推理”的概念演变研究 ——以梁、胡、栾为例
17. 蒋昊. 论牟宗三“纯理”逻辑观与辩证逻辑之会通 ——一条悖论研究的线索
18. 李坤桓. 资格身份的概率语用学建模
19. 吴可，付小轩. 信念修正在社交网络中的收敛性分析
20. 赵林垚. 三神谜题中的自指问题形式化研究

海报论文（第一作者姓名音序）

1. Beini Jia. 隐喻是一种“想象”吗？——基于Lepore与Stone视角转换理论的分析
2. Chen Dan. 实质蕴涵“严峻反例”的推广与消解 ——基于真值条件与真值推定的区分
3. Honghui Zhu. 温和推理主义视角下逻辑常项的划界
4. Honghui Zhu. 逻辑等词之哲学旨趣
5. Junyi Yan. 原型范畴理论视角下隐喻研究
6. Kuize Zhang. Resilience in labeled real-time automata
7. Lixiao Lin. Quantifiers and Constrained Epistemic Modality
8. Rujing Wang. An Axiomatization of Public Announcement Logic with Three PDL-Style Updates
9. 高贝贝. 推理倾向性：一种理解概括难题的知识论进路
10. 郭城言. KK原则的多模态化——基于对威廉姆森反KK论证的反思
11. 姜景哲. 基于语境的实践条件句推理研究
12. 朱奕璇，刘叶涛. 纯粹元语言理论与模态论证