本次会议共收到62篇稿件投稿,经程序委员会初筛,共有50篇稿件进入程序委员会审稿。根据投标意向,每篇稿件都指派了3名专家实行“三盲匿名”审稿,根据审稿结论,共接受了18篇稿件为“常规论文”,15篇稿件为“海报论文”,现公布如下:
常规论文(第一作者姓名音序)
- Xiaozhou Che and Ningyuan Yao. On Weakly Generic Types in Real Formal Series Fields
- Tianyi Chu. Hyperintensional Evidence and Belief in Truthmaker Semantics
- Yudi Ding and Zhiguang Zhao. Bimodal Logic with Counting in Image-Finite Kripke Frames
- Jinghui Duan and Beishui Liao. Explaining Acceptance in Subargument Argumentation Frameworks
- Jie Fan and Qianli Zeng. A Goldblatt-Thomason Theorem for Non-contingency Logic on Finite Frames
- Hong Jiang. A Logic of Tacit Coordination in Joint Action
- Lei Li and Jialiang Yan. Logics of Filter Bubbles
- Lixiao Lin. A Counterpart Theory of Intentional Identity
- Guanqun Liu. 可数主义及其优势——兼论数学可应用性问题
- Xuanyu Liu. Conditional Equivalence and Likelihood Requirements in Adams-Style Evidential Conditionals
- Xianjun Meng and Ming Hsiung. 克里普克不动点在布尔系统上的迁移
- Yixin Pan. 面向概率知识优先论的概率知识逻辑
- Lufeng Rong and Yì Nicholas Wáng. Interpolation for Weighted Modal Logics
- Borja Sierra Miranda, Yunsong Wang and Lukas Zenger. Proof Theory for Non-Contingency Logic
- Shuwen Wu. A Three-Level Framework for Assessing Formal Theories of Truth
- 张侨洋. Distance-based Semantics for Ought-to-Do
- Zhentao Zhang. Independence Relations Induced by Ideals
- Zheng Zhou. 溯因推理的逻辑论辩刻画
海报论文(第一作者姓名音序)
- Haorui Chen and Jixin Liu. 弱滤子与格的提升
- Kaiyi Chen and Chinghui Su. 零模型测试、多变元干预及左嵌套反事实
- Jie Fan and Nan Wang. 一阶无知逻辑的使真者语义
- 郭建萍,李伟. 广义塔斯基论题的必然性探析 —— 一种基于逻辑性的辩护
- 李令喜. 刻画多主体联合能力的策略协调逻辑
- Yuanpeng Lyu. Propositional Quantification in Two-Dimensional Semantics: Apriority, the Diagonal, and Atomicity
- Cheng Peng. 反推数学与归纳强度
- Xingchi Su. Optimal Actions in Dynamic Epistemic Logic: A Priority-Based Semantic Framework
- 夏炀,高贝贝. 数的极小主义:消解贝纳塞拉夫问题的紧缩论进路
- Yirun Tian. 基于 Fréchet 下界的置信度衰减系统及其在连锁悖论中的应用
- 吴可. 面向神经网络的逻辑解释方法——以 Hopfield 网络的形式化为例
- Shining Zang and Hu Liu. A Game Characterization of Pi-calculus
- 周子杰. 原因感知的求解器驱动的大语言模型开放世界推理框架
- Honghui Zhu. 两种“无跨世界同一”路径的对话
- Rui Zhu. Towards a Social Announcement Logic of Higher-Order Static Belief