Jan 1, 1959Documented record75% confidenceSaul Kripke“A Completeness Theorem in Modal Logic”Wikiquote (en)Trusted source1 sourceLive sourceArchived#wikiquote#quote