Universal First-Order Definability in Modal Logic. - Ray E. Jennings; D. K. Johnston; Peter K. Schotch (Math. Log. Q., 1980)

The n-adic first-order undefinability of the Geach formula. - Raymond E. Jennings; D. K. Johnston; Peter K. Schotch (Notre Dame J. Formal Log., 1981)