会议论文

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

常规论文(第一作者姓名音序)

  1. Xiaozhou Che and Ningyuan Yao. On Weakly Generic Types in Real Formal Series Fields
  2. Tianyi Chu. Hyperintensional Evidence and Belief in Truthmaker Semantics
  3. Yudi Ding and Zhiguang Zhao. Bimodal Logic with Counting in Image-Finite Kripke Frames
  4. Jinghui Duan and Beishui Liao. Explaining Acceptance in Subargument Argumentation Frameworks
  5. Jie Fan and Qianli Zeng. A Goldblatt-Thomason Theorem for Non-contingency Logic on Finite Frames
  6. Hong Jiang. A Logic of Tacit Coordination in Joint Action
  7. Lei Li and Jialiang Yan. Logics of Filter Bubbles
  8. Lixiao Lin. A Counterpart Theory of Intentional Identity
  9. Guanqun Liu. 可数主义及其优势——兼论数学可应用性问题
  10. Xuanyu Liu. Conditional Equivalence and Likelihood Requirements in Adams-Style Evidential Conditionals
  11. Xianjun Meng and Ming Hsiung. 克里普克不动点在布尔系统上的迁移
  12. Yixin Pan. 面向概率知识优先论的概率知识逻辑
  13. Lufeng Rong and Yì Nicholas Wáng. Interpolation for Weighted Modal Logics
  14. Borja Sierra Miranda, Yunsong Wang and Lukas Zenger. Proof Theory for Non-Contingency Logic
  15. Shuwen Wu. A Three-Level Framework for Assessing Formal Theories of Truth
  16. 张侨洋. Distance-based Semantics for Ought-to-Do
  17. Zhentao Zhang. Independence Relations Induced by Ideals
  18. Zheng Zhou. 溯因推理的逻辑论辩刻画

海报论文(第一作者姓名音序)

  1. Haorui Chen and Jixin Liu. 弱滤子与格的提升
  2. Kaiyi Chen and Chinghui Su. 零模型测试、多变元干预及左嵌套反事实
  3. Jie Fan and Nan Wang. 一阶无知逻辑的使真者语义
  4. 郭建萍,李伟. 广义塔斯基论题的必然性探析 —— 一种基于逻辑性的辩护
  5. 李令喜. 刻画多主体联合能力的策略协调逻辑
  6. Yuanpeng Lyu. Propositional Quantification in Two-Dimensional Semantics: Apriority, the Diagonal, and Atomicity
  7. Cheng Peng. 反推数学与归纳强度
  8. Xingchi Su. Optimal Actions in Dynamic Epistemic Logic: A Priority-Based Semantic Framework
  9. 夏炀,高贝贝. 数的极小主义:消解贝纳塞拉夫问题的紧缩论进路
  10. Yirun Tian. 基于 Fréchet 下界的置信度衰减系统及其在连锁悖论中的应用
  11. 吴可. 面向神经网络的逻辑解释方法——以 Hopfield 网络的形式化为例
  12. Shining Zang and Hu Liu. A Game Characterization of Pi-calculus
  13. 周子杰. 原因感知的求解器驱动的大语言模型开放世界推理框架
  14. Honghui Zhu. 两种“无跨世界同一”路径的对话
  15. Rui Zhu. Towards a Social Announcement Logic of Higher-Order Static Belief