## Definitions

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

- noun
*logic*AKripke frame together with either one of the following: (1) a function associating each of the frame's worlds to a set ofprime 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 severalmodal logics orintuitionistic logic ).

## Etymologies

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

Named after Saul Kripke.

## Support

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

## Examples

Sorry, no example sentences found.

## Comments

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