最終更新日：2025/11/27

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

Kripke frame

元となった辞書の項目

Kripke frame

名詞

日本語の意味

（論理学）ノードまたは世界と呼ばれる要素からなる集合と、この集合に課された前順序関係（アクセス可能性関係）からなる構造。

To illustrate the concept, she drew a Kripke frame showing the accessibility relations among possible worlds.

概念を示すために、彼女は可達性（前順序）関係を備えた可能世界の集合を図に描き、どの世界が他の世界に到達できるかを示した。

意味（1）

Kripke frames

（ plural ）