'LogICCC meets China' Day October 7


There will be a special meeting the day before the workshop (October 7, 2009) where members of LogiCCC will present and discuss their research projects with Chinese colleagues.

The meeting is sponsored by the European Science Foundation and the Southwest University, Chongqing


Johan van Benthem (Amsterdam)
Dietmar Berwanger (Aachen)
Ulle Endriss (Amsterdam)
Jouko Väänänen (Amsterdam)
Dag Westerståhl (Gothenburg)


(Preliminary Program)
9:00 - 9:30: Opening and introduction
Johan van Benthem (University of Amsterdam & Stanford)
9:30 - 10:15: LogiCCC Invited Speaker
Ulle Endriss (Amsterdam)
Logic and social choice theory
10:15 - 11:00: LogiCCC Invited Speaker
Jouko Väänänen (Amsterdam)
Dependence logic
11:00 - 11:30: Break
11:30 - 12:30: Poster Session (show abstracts)
Jianying Cui, Meiyun Guo and Xiaojia Tang (Chongqing)
Characterizations of iterated admissibility based on PEGL

Antti Kuusisto (Tampere)
Monadic Sigma-1-1 and modal logic with quantified binary relations

Fenrong Liu (Beijing)
Modelling preference, knowledge, and beliefs in games

Yong-qiang Lou (Qingtao)
A kind of tableau systems of idealized information flow logic

Allen Mann (Tampere)
IF algebras

Daniele Porello (Amsterdam)
Linear logic for bidding languages

Fangfang Tang (Beijing)
Generalized Sheffer-stroke based analytical modal axiomatic systems

Michael Ummels (Aachen)
The complexity of Nash equilibria in stochastic games

Fan Yang (Helsinki)
Intuitionistic universal models of NNIL-formulas

12:30 - 14:00: Lunch
14:00 - 14:45: LogiCCC Invited Speaker
Dietmar Berwanger (Paris, Aachen)
On the fragility of perfect information
14:45 - 15:30: LogiCCC Invited Speaker
Dag Westerståhl (Gothenburg)
Logical constants and logical consequence
15:30 - 16:00: Break
16:00 - 17:15: Young Researcher's Forum: 12 minute presentations (show abstracts)
Jesse Alama (Lisbon)
Dialogues and arguments in mathematical proofs

Jiahong Guo (Beijing)
Attempting to combine belief and higher-order knowledge into Pacuit & Parikh’s logic of communication graphs

Pietro Galliani (Amsterdam)
Sensible semantics on infinite structures

Hu Liu (Guangzhou)
An evaluation of degrees of uncertainty in nonmonotonic reasoning

Umberto Grandi (Amsterdam)
Complexity of judgement aggregation

Minghui Ma (Beijing)
Graded modal frame definability

17:15 - 17:30: YRF General Discussion
17:30 - 19:30: Dinner
19:30 - 20:30: Invited presentations on the state of logic in China
Professors He Xiangdong (Institute for Logic and Intelligence, Southwest University, Chongqing), Ju Shier (Institute for Logic and Cognition, Sun Yat-sen University, Guangzhou), Zhou Beihai (Logic Group, Philosophy Department, Peking University, Beijing)
20:30 - 21:30: Open discussion with the audience about research opportunities and other possible collaborations in the field of logic between Europe and China