Institut National Polytechnique de Grenoble Logics for XML Pierre Genev` es Thesis presented in partial fulfillment of the requirements for the degree of Ph.D. in Computer Science and Software Systems from the Institut National Polytechnique de Grenoble. Dissertation prepared at the Institut National de Recherche en Informatique et Automatique, Montbonnot, France. Thesis defended on the 4 th of December 2006. Board of examiners: Giorgio Ghelli Referee Denis Lugiez Referee Makoto Murata Referee Christine Collet Examiner Vincent Quint Ph.D. advisor Nabil Laya¨ ıda Invited Member arXiv:0810.4460v2 [cs.PL] 24 May 2014