様よう相そう論ろん理り

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.