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 Chair: Meiyun Guo (Southwest University) |
9:10-10:00 |
Invited Talk |
Emiliano Lorini (IRIT, CNRS, Toulouse University) An Epistemic Theory of Deductive Arguments |
10:00-10:25 |
Coffee Break |
10:25-10:50 |
Contributed Talk Chair: |
Eita Otsuka and Katsuhiko Sano (Hokkaido University) Cut-Free G3-style Sequent Calculus of Basic Hybrid Logic |
10:50-11:15 |
Jun Suzuki and Katsuhiko Sano (Hokkaido University) Undecidability of Linear Logics without Weakening |
11:15-11:40 |
Andrew Lewis-Smith (Middlesex University) and Zhiguang Zhao (Taishan University) 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 (Stockholm University) 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 (University of Bergen & Shanxi University): On the Logic of Anonymous Public Announcements
|
15:55-16:20 |
Coffee Break |
16:20-16:45 |
Contributed Talk |
Xin Sun (Taishan University, the John Paul II Catholic University of Lublin) and Piotr Kulicki (the John Paul II Catholic University of Lublin) Probabilistic Hoare Logic With Countable Language |
16:45-17:10 |
Alexander Gheorghiu and Tao Gu (University of Southampton) On the Logical Content of Knowledge Bases |
17:40-20:00 |
Dinner |
Day 2 – Tue, April 7, 2026
Time |
Session |
Details |
8:35-9:00 |
Contributed Talk Chair:XXX |
Sankha Basu and Esha Jain (Indraprastha Institute of Information Technology-Delhi) Paracomplete Probabilities |
9:00-9:25 |
Hans van Ditmarsch(University of Toulouse, CNRS, IRIT), Valentin Goranko (Stockholm University) and Yanjing Wang (Peking University) 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 (Shandong University): Skill Assessment: A Modal Logic Approach |
10:40-10:45 |
Short Break |
10:45-11:10 |
Contributed Talk Chair:XXX |
Sizhuo Liu and Katsuhiko Sano (Hokkaido University) Analytic Sequent Calculus for Coalition Logic with Individual Knowledge |
11:10-11:35 |
Youan Su (Liaoning University) Uniform interpolation property for agent in multi-agent modal logic |
11:35-12:00 |
Zhicheng Chen (University of Chinese Academy of Sciences, Chinese Academy of Sciences))
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 (Stockholm University) 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 (Sichuan University) Śū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 (Sichuan University) Is Nyaya Logic a Relevance Logic? |
15:55-16:20 |
Coffee Break |
16:20-16:45 |
Contributed Talk Chair:XXX |
Ke Yang (Sichuan University) Indian Nyāya Inference: A Constrained Abductive Theory |
16:45-17:10 |
Rui Zhu (The University of Aukland) Shen Yuting in Early Modal Logic: The Axiom Interdependence of S5 |
17:10-17:35 |
Eiji Yamada (University of Tsukuba) 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 (Tangshan Normal University) 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 (The Chinese University of Hong Kong) Qualitative Dilation and Agreement Theorems |
9:25-9:50 |
Coffee Break |
9:50-10:40 |
Invited Talk Chair:XXX |
Ahti-Veikko Juhani Pietarinen (Hong Kong Baptist University) Linear Philosophy of Mathematics |
10:40-10:45 |
Short Break |
10:45-11:10 |
Contributed Talk Chair:XXX |
Bruno Bentzen (Zhejiang University) What is intuitionistic logic with actuality? |
11:10-11:35 |
Hanoch Ben-Yami and Hongkai Yin (Central European University) Semantic Tableaux for the Quantified Argument Calculus with Instantials |
11:35-12:00 |
Sisi Yang (Tsinghua University) and Yan Zhang (Renmin University of China) 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 (Stockholm University) 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 (Beijing Normal University) Two-Dimensional First-Order Hybrid Logic |
15:50-16:10 |
Junli Jiang (Southwest University), Pavel Naumov (University of Southampton) and Wenxuan Zhang (Independent Scholar): Dynamic Logic of Trust-Based Beliefs |
16:10-16:35 |
Sibo Yu (The Chinese University of Hong Kong) Plans and the Value of Free Information |
16:35-16:50 |
Closing Remark Chair: Zuojun Xiong (Southwest University) |
18:00-20:00 |
Dinner for Remaining Attendees |
