Definition of "Kripke"

The word, "Kripke" does not exist in our dictionary.