Multi-Dimensional Modal Logic by Marten Marx & Yde Venema