Soren Hallden A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1. 138-139 1948 13 J. Symb. Log. 3 db/journals/jsyml/jsyml13.html#Hallden48