Redan på 1950-talet, innan han fyllt 20 år, utvecklade Saul Kripke, oberoende av liknande idéer hos Stig Kanger, en semantik för modallogik, byggd på idén om möjliga världar, som blivit känd som Kripkesemantik och givit upphov till ett fruktbart forskningsområde.