Chinese-Polish Workshop on Applied Logic
Nicolaus Copernicus University in Toruń
29-30 September 2025
Venue: Department of Logic, Nicolaus Copernicus University in Toruń, ul. Stanisława Moniuszki 16/20, 87-100 Toruń
Website: https://logicacopernicana.umk.pl/forthcoming.html
The 5th edition of Chinese-Polish Workshop on Applied Logic aims to push forward the interaction between Chinese and Polish logicians. It focuses on epistemic, deontic logic and other philosophical logics. Everyone who has an interest in logic is welcome.
Organizers:
Piotr Kulicki, Faculty of Philosophy, The John Paul II Catholic University of Lublin
Michał Oleksowicz, Department of Logic, Nicolaus Copernicus University in Toruń
Participants:
Tomasz Jarmużek, Department of Logic, Nicolaus Copernicus University in Toruń
Fengkui Ju, Beijing Normal University, China
Mateusz Klonowski, Department of Logic, Nicolaus Copernicus University in Toruń
Piotr Kulicki, Faculty of Philosophy, The John Paul II Catholic University of Lublin
Kai Li, Shanxi University, China
Yiyan Wang, Shanxi University, China
Jialiang Yan, Tsinghua University, China
Wei Zhao, Shanxi University, China
During the workshop: talks, discussion on joint projects (among others, Polish-Chinese Lab for Collective Reasoning) and research aims.
Program
Monday, 29 September
9:30-9:45 Piotr Kulicki: Opening: Chinese-Polish Workshops on Applied Logic – brief history and perspectives
9:45-10:30 Tomasz Jarmużek: Classicization of anti-classical logics: the case of connexive implication
10:30-10:45 Break
10:45-11:30 Fengkui Ju: Strong/weak historical/temporal necessities, and a logical theory of them in branching time
11:30-12:15 Jialiang Yan: Ordered Disjunction [online]
12:15-13:30 Lunch
13:30-14:15 Wei Zhao: Belief Revision with Satisfaction Measure
14:15-15:00 Yiyan Wang: Collective Agency and Coalitional Power in Games
15:00 Discussion over coffee
Dinner in the city in the evening
Tuesday, 30 September
9:30-10:15 Kai Li: What Are Norms? Sanctions or Imperatives
10:15-11:00 Piotr Kulicki: The Challenges of Deontic Logic
11:00-11:30 Break
11:30-12:15 Mateusz Klonowski: Tableaux for logics of content relationship and set-assignment semantics
12:15 Closing over lunch