To illustrate the concept, she drew a Kripke frame showing the accessibility relations among possible worlds.
概念を示すために、彼女は可達性（前順序）関係を備えた可能世界の集合を図に描き、どの世界が他の世界に到達できるかを示した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
