用語
J-GLOBAL ID：200906088073832773
様相論理
主題カテゴリー：
主題カテゴリー
用語の主な分野です
数学
学術用語集 (1件)：
学術用語集
国内学会と文部科学省によって編纂された学術用語集の用語です
論理学編 / 様相論理学 / modal logic
同義語 (1件)：
様相論理学
(modal logic)
様相論理学 について
「様相論理学」ですべてを検索
関連語 (3件)：
Kripkeモデル
(Kripke model)
Kripkeモデル について
「Kripkeモデル」ですべてを検索
この用語の用語情報を見る
タブロー法
(Tableau approach)
タブロー法 について
「タブロー法」ですべてを検索
この用語の用語情報を見る
Kripke意味論
(Kripke semantics)
Kripke意味論 について
「Kripke意味論」ですべてを検索
この用語の用語情報を見る
上位語 (1件)：
論理
(Logic)
論理 について
「論理」ですべてを検索
この用語の用語情報を見る
シソーラスmap：
シソーラスmap
※学術用語集由来のみの同義語は表示されません
前のページに戻る
TOP
BOTTOM
