Word.ws English Dictionary

Kripke models

Kripke models is the plural of Kripke model.

Meaning of Kripke model

Noun

Kripke model (plural Kripke models)

  1. A Kripke frame together with any 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). For intuitionistic logic the forcing relation satisfies a persistence relation, namely, if world w forces proposition p, then all worlds accessible from w also force p.
    • A formula is intuitionistically valid iff it is forced true by every world of every Kripke model.

Questions about Kripke models

What is Kripke models the plural of?
Kripke models is the plural of Kripke model.

Words near Kripke models in the dictionary

  1. Kripi
  2. Kripke
  3. Kripke frame
  4. Kripke frames
  5. Kripke model
  6. Kripke models
  7. Kripkean
  8. Kripkenstein
  9. Kripkensteinian
  10. kris
  11. Kris Kindle

Source and license

Adapted from Wiktionary: Kripke models (page history and authors); Kripke model (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Kripke models.” Word.ws, https://word.ws/kripke_models. Based on Wiktionary, CC BY-SA 4.0.