様よう相そう論ろん理り学がく

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.