Research Session 9 (Chair: Frank Veltman) Invited Talk 5: Extended Modal Logics for Social Software Speaker: Wiebe van der Hoek, Liverpool University, UK. Location: Main Building B807
9:50 – 10:30
The Relative Expressivity of Public and Private Communication in BMS Logic
Bryan Renne, CUNY Graduate Center, US.
10:30 – 12:30
Break
Research Session 10 (Chair: Wiebe van der Hoek) Location:
Main Building B807Modelling Simultaneous Games in Dynamic Logic
Sujata Ghosh and Fenrong Liu, Johan van Benthem, ILLC, University of Amsterdam, The Netherlands.
Quantified Epistemic Logics with Flexible Terms
Francesco Belardinelli and Alessio Lomuscio, Imperial College London, UK.
A Preference Logic of Varying Kinds of Preferences
Zhizheng Zhang and Hancheng Xing, School of Computer Science and Engineering, Southeast University, Nanjing, China.
12:30 – 14:00
Lunch Break (Jingshi Building)
14:00 – 15:40
Research Session 11 (Chair: Vincent F. Hendricks) Location: Main Building B807Dynamic Term-Modal Logic
Barteld Kooi, University of Groningen, The Netherlands.
Game-theoretical Semantics for Many-valued Logics
Shier Ju, Xuefeng Wen and Xihua Dai, Sun Yat-sen University, Guangzhou, China.
Planned Changes of Desire
Katie Steele, University of Sydney, Australia.
15:40 – 16:10
Break
17:00 – 17:10
Short Break
17:10 – 17:50
Open Discussion 3 (Chair) Location: Room ?Theme: TBA
17:10 – 17:30
Workshop ClosingLocation: Main Building B807 Chair: Frank Veltman Closing Speech: Johan van Benthem