Saul Kripke A Completeness Theorem in Modal Logic. 1-14 1959 24 J. Symb. Log. 1 db/journals/jsyml/jsyml24.html#Kripke59