The proceedings are available online. Please check here for details.

Program

Tuesday, October 8

9:00-22:00 Registration at Yuanzheng - Qizhen Hotel ( 园正启真酒店 )

Wednesday, October 9

•  9:00 - 9:45 Welcome words, short address by Prof. Huaxin Huang, and group picture.

•  9:45 – 10:45: Sonja Smets: The Epistemic Potential of Groups

•  Break (15min)

•  11:00 – 12:00: Short Session 1 : Chair: Olivier Roy

•  Chanjuan Liu, Fenrong Liu and Kaile Su, A Logic for Extensive Games with Short Sight

•  Jakub Szymanik, Backward Induction is PTIME-complete (presented by Davide Grossi)

•  Yang Liu, A Note on Bayesian Games

•  Rasmus K. Rendsvig, Aggregated Beliefs and Informational Cascades

•  Shengli Zhang, On Fuzzy Propositional Logic with Different Negations

•  Lunch (90min)

•  13:30 – 14:30: Short Session 2 Chair: Davide Grossi

•  Huimin Dong and Xiaowu Li, A Deontic Action Logic for Complex Actions

•  Guifei Jiang, Dongmo Zhang and Xiaojia Tang, Judgment Aggregation with Abstentions: a Hierarchical Approach (presented by Olivier Roy)

•  Ben Rodenhauser, Dynamic Attitudes, Fixed Points and Minimal Change  (presented by Zoe Christoff)

•  Martin Holm Jensen, Planning using Dynamic Epistemic Logic: Correspondence and Complexity

•  Break (30min)

•  15:00 – 16:00: Beishui Liao: Argumentation: Reasoning in a Context of Disagreement

•  16:30 - 21:00 Sightseeing of the West Lake followed by welcome banquet

Thursday, October 10

•  9:15 – 10:15: Giuseppe Dari-Mattiacci: Black Boxes

•  Break (15min)

•  10:30 – 11:00: Qiaoting Zhong, Xudong Luo, Frans van Eemeren and Fan Huang, The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court

•  11:00 – 11:30: Zoé Christoff and Jens Ulrik Hansen, A two-tiered formalization of social influence

•  Break (15min)

•  11:45 – 12:15: Yì N. Wáng and Thomas ?gotnes, Public Announcements, Private Actions and Common Knowledge in S5 Structures

•  12:15 – 12:45: Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini and Francois Schwarzentruber, Listen to me! Public announcements to agents that pay attention - or not

•  Lunch (90min)

•  14:15 - 14:45  Fernando R. Velázquez-Quesada, Explicit and Implicit Knowledge in Neighbourhood Models  

•  14:45 – 15:15: Katsuhiko Sano and Minghui Ma, How to Update Neighborhood Models

•  15:15 – 15:45: Alexandru Baltag, Nick Bezhanishvili, Aybuke Ozgun and Sonja Smets, The Topology of Belief, Belief Revision and Defeasible Knowledge

•  Break (15min)

•  16:00 – 16:30: Natasha Alechina, Fenrong Liu and Brian Logan, Minimal preference change

•  16:30 – 17:00: Xuefeng Wen and Hu Liu, Logic Aggregation

•  Break (15min)

•  17:15 – 18:15: Hannes Leitgeb: Logic of Belief vs Subjective Probability: A Normative Clash ?

Friday, October 11

•  9:15 – 10:15: Dongmo Zhang: Representing and Reasoning about Game Strategies  

•  Break (15min)

•  10:30 – 11:00: Andreas Herzig, Emiliano Lorini and Dirk Walther, Reasoning about actions meets strategic logics

•  11:00 – 11:30: Thomas ?gotnes, Paul Harrenstein, Wiebe van der Hoek and Michael Wooldridge, Boolean Games with Epistemic Goals

•  Break (15min)

•  11:45 – 12:15: Kristine Harjes and Pavel Naumov, Cellular Games, Nash Equilibria, and Fibonacci Numbers

•  12:15 – 12:45: Jeremy Seligman and Guo Meiyun, The logic of a priori and a posteriori rationality in strategic games

•  Lunch (75min) + conference trip

Saturday, October 12

•  9:15 – 10:15: Valentin Goranko: Rational interaction through preplay negotiations in non-cooperative games

•  Break (15min)

•  10:30 – 11:00: Valentin Goranko and Paolo Turrini, An offer you cannot refuse: obtaining efficiency and fairness in preplay negotiation games with conditional offers

•  11:00 – 11:30: Jianying Cui and Xudong Luo, A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint

•  Break (15min)

•  11:45 – 12:15: Fernando R. Velázquez-Quesada, Expressivity hierarchy of languages for epistemic awareness models

•  12:15 – 12:45: Giuseppe Greco, Alexander Kurz and Alessandra Palmigiano, Dynamic Epistemic Logic Displayed

•  Lunch (90min)

•  14:15 – 14:45: Fengkui Ju and Li Liang, A Dynamic Deontic Logic Based on Histories

•  14:45 – 15:15: Norbert Gratzl, Sequent calculi for multi-modal logic with interaction

•  Break (10min)

•  15:25 – 15:55: Xin Sun, Proof Theory, Semantics and Algebra for Normative Systems 

•  15:55 – 16:25: Louwe B. Kuijer, Sequent systems for nondeterministic propositional logics without reflexivity

•  Break (15min)

•  16:40 – 17:40: Christian List: Reason-based rationalisation