Displaying similar documents to “The interpreted type-free modal calculus M C . II”