Editorial, Computer Science Logic 2008 special issue