Where does “Kripke” come from?

Words derived from “Kripke”