A two-dimensional metric temporal logic