17
Nov

LORI07 – Day 4

This is the last day of LORI.

LORI07 – Day 4

Thursday (9 August, 2007)
9:00 – 9:50 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
19:00 - Banquet at the Yu Ma Dun
VN:F [1.9.11_1134]
Rating: 0.0/10 (0 votes cast)
VN:F [1.9.11_1134]
Rating: 0 (from 0 votes)

14 Comments