最終更新日：2025/12/02

Dictionary quizzes to help you remember the meaning

Dictionary quizzes to help you remember the meaning

Kripke models

編集履歴（0）

元となった辞書の項目

Kripke models

名詞

活用形複数形

plural of Kripke model

日本語の意味

「Kripkeモデル」の複数形。すなわち、複数のKripkeモデルを指す。

このボタンはなに？

Graduate students built several Kripke models to test the semantics of the new modal logic.

Google翻訳 / DeepL翻訳

大学院生たちは新しい様相論理の意味論を検証するために、いくつかのクリプキ構造を構築した。

意味（1）

plural of Kripke model

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★