Many-Dimensional Modal Logics : (Elsevier North Holland, 2003)