A. N. Prior Modality and Quantification in S5. 60-62 1956 21 J. Symb. Log. 1 db/journals/jsyml/jsyml21.html#Prior56