@ARTICLE {7109,
author={C. Caleiro and L. Viganò and MV Volpe},
doi={},
journal={Logica Universalis},
title={On the mosaic method for many-dimensional  modal logics: a case study combining tense and modal operators},
year={2013},
month={January},
volume={7},
number={1},
pages={33-69},
ISSN={1661-8300}
}