Multi-Dimensional Modal Logic door Marten Marx & Yde Venema