Exploring the bidimensional space: A dynamic logic point of view | Read Paper on Bytez