E. J. Lemmon New Foundations for Lewis Modal Systems. 176-186 1957 22 J. Symb. Log. 2 db/journals/jsyml/jsyml22.html#Lemmon57