The Chinese-Polish Workshop on Applied Logic aims to push forward the interaction between Chinese and Polish logicians. It focuses on deontic logic and other philosophical logics. It will take place at Beijing Normal University on 9th and 10th December 2017. Every one who has interest in logic is welcome.

The venue of this workshop will be Room A809, Main Buliding.

December 9

• 8:45-9:00 Opening
• 9:00-9:45 Lecture
  Nana Cui: Dependence in group agency
• 9:45-10:00 Tea break
• 10:00-10:45 Lecture
  Huimin Dong: Permission in Ceteris Paribus reasoning
• 10:45-11:00 Tea break
• 11:00-11:45 Lecture
  Shunan He: A study on graph theory properties through hybrid graph logic
• 11:45-14:00 Lunch
• 14:00-14:45 Lecture
  Tomasz Jarmuzek: Tableau metatheory for relating logics – application to deontic and epistemic cases
• 14:45-15:00 Tea break
• 15:00-15:45 Lecture
  Fenrong Liu: What would a group tend to believe?
• 15:45-16:00 Tea break
• 16:00-16:45 Lecture
  Piotr Kulicki: Developing normative systems with nC+
• 17:00-20:00 Dinner

December 10

• 9:00-9:45 Lecture
  Yanjun Li: Strategically knowing how
• 9:45-10:00 Tea break
• 10:00-10:45 Lecture
  Fengkui Ju: A dynamic formalization of conditional duties
• 10:45-11:00 Tea break
• 11:00-11:45 Lecture
  Marek Piechowiak: Can permissions generate obligations?
• 11:45-14:00 Lunch
• 14:00-14:45 Lecture
  Andrzej Pietruszczak & Tomasz Jarmuzek: Logic of Anselmian ontological proof
• 14:45-15:00 Tea break
• 15:00-15:45 Lecture
  Xin Sun: Quantum imperative logic
• 15:45-16:00 Tea break
• 16:00-16:45 Lecture
  Sumin Xia: The pragmatic nature of deontic paradoxes
• 16:45-17:00 Closing
• 17:00-20:00 Dinner

This workshop is supported by School of Philosophy at Beijing Normal University, Faculty of Philosophy at John Paul II Catholic University of Lublin, and Polish Embassy in Beijing. It is organized by Fengkui Ju and Piotr Kulicki.