Johan van Benthem A Note on Modal Formulae and Relational Properties. 55-58 1975 40 J. Symb. Log. 1 db/journals/jsyml/jsyml40.html#Benthem75