AWPL 2026 Program, Southwest University (Draft)
Conference Site:
Room 3308, 3rd floor, No 3 Teaching Building(绩鏞楼), Southwest University, Beibei, Chongqing, China
Notes:
1. Each invited talk is allocated 50 minutes, including 10 minutes for discussion.
2. Each contributed talk is allocated 25 minutes, including 5 minutes for discussion.
3. The invited tutorial will be delivered in three sessions, each lasting 60 minutes.
Day 0 – Sun, April 5, 2026 Registration Day
9:00-18:00: Registration and materials pickup at the lobby of Gui Yuan Hotel.
Day 1 – Mon, April 6, 2026
Time |
Session |
Details |
8:00-8:30 |
Late Registration and Materials Pickup: Room 3308 |
|
8:30-9:10 |
Opening Ceremony |
Welcome Remarks and Group Photo |
9:10-10:00 |
Invited Talk Chair:XXX |
Emiliano Lorini: TBA |
10:00-10:25 |
Coffee Break |
|
10:25-10:50 |
Contributed Talk Chair:XXX |
Eita Otsuka and Katsuhiko Sano: Cut-Free G3-style Sequent Calculus of Basic Hybrid Logic |
10:50-11:15 |
Jun Suzuki and Katsuhiko Sano: Undecidability of Linear Logics without Weakening |
|
11:15-11:40 |
Andrew Lewis-Smith and Zhiguang Zhao: A Kripke Semantics for Commutative Generalised Basic Logic |
|
12:00-13:00 |
Buffet Lunch at Gui Yuan Hotel |
|
14:00-15:00 |
Invited Tutorial by Valentin Goranko: Lecture 1: Logics for strategic reasoning about socially interacting rational agents |
|
15:00-15:05 |
Short Break |
|
15:05-15:55 |
Invited Talk Chair:XXX |
Thomas Ågotnes: On the Logic of Anonymous Public Announcements |
15:55-16:20 |
Coffee Break |
|
16:20-16:45 |
Contributed Talk Chair:XXX
|
Hayato Ito: Foundations of Non-triviality in Probabilistic Semantics |
16:45-17:10 |
Xin Sun and Piotr Kulicki: Probabilistic Hoare Logic With Countable Language |
|
17:10-17:35 |
Alexander Gheorghiu and Tao Gu: On the Logical Content of Knowledge Bases |
|
18:00-20:00 |
Dinner |
|
Day 2 – Tue, April 7, 2026
Time |
Session |
Details |
8:35-9:00 |
Contributed Talk Chair:XXX
|
Junli Jiang, Pavel Naumov and Wenxuan Zhang: Dynamic Logic of Trust-Based Beliefs |
9:00-9:25 |
Hans van Ditmarsch, Valentin Goranko and Yanjing Wang: The Quest for Ultimate Ignorance. I: Iterated Ignorance is Complex! |
|
9:25-9:50 |
Coffee Break |
|
9:50-10:40 |
Invited Talk Chair:XXX |
Yì Nicholas Wáng: Skill Assessment: A Modal Logic Approac |
10:40-10:45 |
Short Break |
|
10:45-11:10 |
Contributed Talk Chair:XXX
|
Sizhuo Liu and Katsuhiko Sano: Analytic Sequent Calculus for Coalition Logic with Individual Knowledge |
11:10-11:35 |
Youan Su: Uniform interpolation property for agent in multi-agent modal logic |
|
11:35-12:00 |
Zhicheng Chen: A unified relational semantics for BPL, IPL and OL --axiomatization with disjunction |
|
12:20-13:00 |
Buffet Lunch at Gui Yuan Hotel |
|
14:00-15:00 |
Invited Tutorial by Valentin Goranko: Lecture 2: Logics for strategic reasoning about socially interacting rational agents |
|
15:00-15:05 |
Short Break |
|
15:05-15:30 |
Contributed Talk Chair:XXX
|
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 |
15:30-15:55 |
Shuran Huo: Is Nyaya Logic a Relevance Logic? |
|
15:55-16:20 |
Coffee Break |
|
16:20-16:45 |
Contributed Talk Chair:XXX
|
Ke Yang: Indian Nyāya Inference: A Constrained Abductive Theory |
16:45-17:10 |
Rui Zhu: Shen Yuting in Early Modal Logic: The Axiom Interdependence of S5 |
|
17:10-17:35 |
Eiji Yamada: The Sources of Unknowability and Self-refutation in Epistemic and Dynamic Epistemic Logic |
|
18:30-20:30 |
Hot Pot Dinner |
|
Day 3 – Wed, April 8, 2026
Time |
Session |
Details |
8:35-9:00 |
Contributed Talk Chair:XXX
|
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 |
9:00-9:25 |
Hao Yang: Qualitative Dilation and Agreement Theorems |
|
9:25-9:50 |
Coffee Break |
|
9:50-10:40 |
Invited Talk Chair:XXX |
Ahti-Veikko Juhani Pietarinen: Linear Philosophy of Mathematics |
10:40-10:45 |
Short Break |
|
10:45-11:10 |
Contributed Talk Chair:XXX |
Bruno Bentzen: What is intuitionistic logic with actuality? |
11:10-11:35 |
Hanoch Ben-Yami and Hongkai Yin: Semantic Tableaux for the Quantified Argument Calculus with Instantials |
|
11:35-12:00 |
Sisi Yang and Yan Zhang: Strict Defense, Loose Threats: A Skeptical Semantics for Extended Argumentation |
|
12:20-13:00 |
Buffet Lunch at Gui Yuan Hotel |
|
14:00-15:00 |
Invited Tutorial by Valentin Goranko: Lecture 3: Logics for strategic reasoning about socially interacting rational agents |
|
15:00-15:25 |
Coffee Break |
|
15:25-15:50 |
Contributed Talk Chair:XXX |
Mingzheng Lu: Two-Dimensional First-Order Hybrid Logic |
15:50-16:10 |
Sankha Basu and Esha Jain: Paracomplete Probabilities |
|
16:10-16:35 |
Sibo Yu: The Pragmatic Value of Externalist Evidence |
|
16:35-16:50 |
Closing Remark Chair:XXX |
|
18:00-20:00 |
Dinner for Remaining Attendees |
|
