Interfaces explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers / - Icard, Thomas.; Muskens, Reinhard, (Springer,)