Multi-dimensional modal logic | lit.salon