Bruce M. Kapron Modal Sequents and Definability. 756-762 1987 52 J. Symb. Log. 3 db/journals/jsyml/jsyml52.html#Kapron87