Text this: Many-dimensional modal logics :