REVIEWS-Many-dimensional modal logics: Theory and applications