Computer Science Logic 2008, LNCS 5213