noun
modal logic
A branch of logic dealing with necessity, possibility, and related modalities. Technical term used in philosophy, mathematics, and computer science.
様相論理学は、必然性や可能性といった概念を形式的に扱う。
Modal logic formally deals with concepts such as necessity and possibility.
General term for logic; 様相論理学 is a specific subfield.
Compound of 様相 (modality) and 論理学 (logic), likely a calque from English 'modal logic'.