|
|
Definition of Kripke frame
1. Noun. (logic) A set whose elements are called ''nodes'' or ''worlds'', together with a preordering relation for that set, called its ''accessibility relation''. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Kripke Frame
Other Resources:
