Accepted Papers

发布时间:2026-01-30 13:36

作者:

来源:

浏览次数:


After review by the PC committee, the accepted papers are announced as follows (in order of submission time).

  1. Andrew Lewis-Smith and Zhiguang Zhao  A Kripke Semantics for Commutative Generalised Basic Logic    

  2. Junli Jiang, Pavel Naumov and Wenxuan Zhang  Dynamic Logic of Trust-Based Beliefs    

  3. Sankha Basu and Esha Jain   Paracomplete Probabilities    

  4. Alexander Gheorghiu and Tao Gu  On the Logical Content of Knowledge Bases    

  5. Hans van Ditmarsch, Valentin Goranko and Yanjing Wang    The Quest for Ultimate Ignorance. I: Iterated Ignorance is Complex! 

  6. Eita Otsuka and Katsuhiko Sano    Cut-Free G3-style Sequent Calculus of Basic Hybrid Logic    

  7. Eiji Yamada    The Sources of Unknowability and Self-refutation in Epistemic and Dynamic Epistemic Logic    

  8. Rui Zhu    Shen Yuting in Early Modal Logic: The Axiom Interdependence of S5    

  9. Jun Suzuki and Katsuhiko Sano    Undecidability of Linear Logics without Weakening    

  10. Sizhuo Liu and Katsuhiko Sano    Analytic Sequent Calculus for Coalition Logic with Individual Knowledge    

  11. Mingzheng Lu    Two-Dimensional First-Order Hybrid Logic    

  12. Shuran Huo    Is Nyaya Logic a Relevance Logic?    

  13. Xin Sun and Piotr Kulicki   Probabilistic Hoare Logic With Countable Language    

  14. Hanoch Ben-Yami and Hongkai Yin    Semantic Tableaux for the Quantified Argument Calculus with Instantials    

  15. Youan Su    Uniform interpolation property for agent in multi-agent modal logic    

  16. Hao Yang    Qualitative Dilation and Agreement Theorems    

  17. Ke Yang    Indian Nyāya Inference: A Constrained Abductive Theory    

  18. Sibo Yu    The Pragmatic Value of Externalist Evidence    

  19. Bruno Bentzen  What is intuitionistic logic with actuality?    

  20. Zhicheng Chen    A unified relational semantics for BPL, IPL and OL --axiomatization with disjunction    

  21. Yijie Shi and Zhaoqing Xu    Śūnyatā and Apoha: A New Interpretation of the Problem of Empty Reference from the Perspective of Buddhist Philosophy and Logic    

  22. Sisi Yang and Yan Zhang    Strict Defense, Loose Threats: A Skeptical Semantics for Extended Argumentation    

  23. Hayato Ito    Foundations of Non-triviality in Probabilistic Semantics    

  24. Ran Ren    Philosophical Disputes between the Dignāga School and the Nyāya–Vaiśeṣika Tradition: A Systematic Examination of Epistemology, Logic, and Metaphysics