Many-dimensional modal logic - Venema, Yde 1963- (1992)