On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators