A preliminary version of this paper appeared in Proceedings of the Fifteenth
Annual ACM. Symposium on ... In this paper we introduce a modal logic which
we call LL, the logic of .... Nevertheless, a reasonable question to ask is to what
extent LL can capture ...... the extra-logical assumption: G(B,T, 1)$LkG(A,E, 1) for
some k.