様相 ようそう論理 ろんり がく
yōsōronrigaku

Noun

1. modal logic