Complexity of modal logics of relations - Marx, Maarten (ILLC, 1997)