Robert Goldblatt First-Order Definability in Modal Logic. 35-40 1975 40 J. Symb. Log. 1 db/journals/jsyml/jsyml40.html#Goldblatt75