最終更新日：2025/11/23

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

modal logic

元となった辞書の項目

modal logic

名詞

可算名詞不可算名詞

日本語の意味

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

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

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

意味（1）

modal logics

（ plural ）