from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic A Kripke frame together with either one of the following: (1) a function associating each of the frame's worlds to a set of prime formulae which are "true" for the given world, (2) a function associating each prime formula to a set of worlds for which the prime formula is "true", (3) a forcing relation between worlds and prime formulae. Additionally, there is a set of rules for deducing (from the given function or relation) what formulae are forced to be true by a given world. (The set of rules depends on which logic the Kripke model is being applied to, whether one of several modal logics or intuitionistic logic).


from Wiktionary, Creative Commons Attribution/Share-Alike License

Named after Saul Kripke.


Help support Wordnik (and make this page ad-free) by adopting the word Kripke model.


    Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.