Formal Models of Norm Change 2

Workshop, University of Amsterdam, 18–19 January 2010

Program - Tuesday January, 19th

10.00-12.45
MORNING SESSION: Norms, social interaction and deontic logic
10.00-10.45
Emiliano Lorini (Universite' Paul Sabatier)
The logic of acceptance: a bottom-up perspective on institutional reality
Coffee Break
11.15-12.00
Dov Gabbay (King's College London)
Proof theory for Contrary-to-duty obligations
12.00-12.45
Davide Grossi (University of Amsterdam)
Voluntas bonorum consonat legi: The two faces of betterness
Lunch
14.30-17.15
AFTERNOON SESSION: Norm change and modal dynamics
14.30-15.15
Paolo Turrini (Utrecht University)
Expressing obligations by strategic ability update
15.15-16.00
Guillaume Aucher (University of Luxembourg)
Distinguishing norm change from information change
Coffee Break
16.15-17.00
Johan van Benthem (Universities of Amsterdam and Stanford)
A dynamic Logician Looks at Deontics