Kripke
English
Proper noun
Kripke
A
surname
.
Derived terms
Kripke frame
Kripke model
Kripkean
Kripkenstein