English Dictionary

modal logic

名詞

可算名詞 不可算名詞

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

日本語の意味

可能性や必然性、義務や許可などの様相的概念を扱う形式的な論理体系。 / モーダリティ（例：可能性、必然性）に基づいた論理システムとして、様相論理とも呼ばれる。

In my thesis, I apply modal logic to analyze obligations and permissions in legal reasoning.

私の論文では、法的推論における義務や許可を分析するために様相論理を適用しています。

意味（1）

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

modal logics （ plural ）