модальная логика на китайском

сущ.
мат.
模态逻辑 mó tài luójí