Kripke frame
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Named after Saul Kripke.
Noun
[edit]Kripke frame (plural Kripke frames)
- (logic) A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.