Kripke frame (English, noun)
expansion: Kripke frame (plural Kripke frames)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.
Forms:
form: Kripke frames
tags: plural