Recently, there has been growing attention to the space requirements of tableau methods (see for example [7], [1], [12]). We have proposed in [10] a method of reducing modal consequence relations to the global and local consequence relation of (polymodal) K. The reductions used there did however not establish good time complexity bounds. In this note we shall use reduction functions to obtain r...
