from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun logic A
Kripke frametogether with either one of the following: (1) a function associating each of the frame's worlds to a set of prime formulaewhich 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 logicsor intuitionistic logic).
from Wiktionary, Creative Commons Attribution/Share-Alike License
Named after Saul Kripke.
Sorry, no example sentences found.