コンピューター用語辞典

日外アソシエーツ株式会社

modal logic

様相論理

「必然性」や「可能性」などの様相(modality)を表現する論理記号を導入して述語論理を拡張した論理.プログラムの理論や自然言語の意味論への導入が種々考えられている.

参照

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

modal logic

様相論理学; 様相論理

日本語WordNet(英和)

日本語WordNet

modal logic

名詞

1. 性質がある特定の倫理的、認識論的概念に似ている論理体系(a system of logic whose formal properties resemble certain moral and epistemological concepts)
2. 必要性と可能性の論理的研究(the logical study of necessity and possibility)
「modal logic」に関する類語一覧

日英・英日専門用語辞書

日中韓辭典研究所

modal logic

様相論理学，様相論理

Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

modal logic

様相論理学, 様相論理
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

modal logic

名詞

modal logic (countable かつ uncountable, 複数形 modal logics)

  1. (logic) Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission.

関連する語

閲覧履歴

全履歴クリア

・Modal logic
・klint
・wait a bit
・brimfully
・beme
・Tars
・back-rapper
・janus
・planar graph
・permeabilize
単語帳に追加

Modal logicのページの著作権