Many-Dimensional Modal Logics by Michael Zakharyaschev, A. Kurucz & F. Wolter