Kripke frame (suomeksi)

Määritelmät:

(lb, en, logic) A set, whose elements are called ''nodes'' or ''worlds'', together with a preorder, preordering relation for that set, called its ''accessibility relation''.