Inf-datalog, Modal Logic and Complexities Eugénie Foustoucos and Irène Guessarian RAIRO-Theor. Inf. Appl., 43 1 (2009) 1-21 Published online: 20 December 2007 DOI: 10.1051/ita:2007043