Multi-dimensional modal logic - Marx, Maarten (Applied logic series, 1997)