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

noun

modal logic

A branch of logic dealing with necessity, possibility, and related modalities. Technical term used in philosophy, mathematics, and computer science.

• 様よう相そう論ろん理り学がくは、必ひつ然ぜん性せいや可か能のう性せいといった概がい