Kripke frame（（論理学）ノードまたは世界と呼ば）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

Kripke frame

日本語の意味

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

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

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

活用形複数形

plural of Kripke frame

原形: Kripke frame

日本語の意味

「Kripke frame」の複数形を表す。つまり、複数のKripke frameを指す表記です。

様相論理を学ぶ大学院生はしばしば異なるクリプキ・フレームを比較して、到達関係が可能世界間の真理にどのように影響するかを理解しようとする。

Webで検索する