Dynamics in Logic 2008
Program
To appear.
