様相 ようそう論理 ろんりです
yō sō ronridesu

Noun
Desu Copula

The polite form of 様相論理

1. Modal logic.

Polite