Slide 1 Dynamic Logic Programming with Multiple Dimensions João Alexandre Leite José Júlio Alferes Luís Moniz Pereira CENTRIA – Universidade Nova de Lisboa Universidad…