noun
modal logic
Technical term in philosophy and logic for the study of necessity, possibility, and related modalities.
様相論理は、必然性や可能性といった概念を形式的に扱う。
Modal logic formally deals with concepts such as necessity and possibility.
Compound of 様相 (modality) and 論理 (logic), a calque of English 'modal logic'.