用語

J-GLOBAL ID：201306070874815575

Kripke意味論

ドキュメンテーション
同義語 (1件)：

Kripke型の意味論 (Kripke semantics)
Kripke型の意味論について
- 「Kripke型の意味論」ですべてを検索

関連語 (2件)：

様相論理 (modal logic)
様相論理について
- 「様相論理」ですべてを検索
- この用語の用語情報を見る
数学モデル (mathematical model)
数学モデルについて
- 「数学モデル」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

意味論 (semantics)
意味論について
- 「意味論」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM