模
态
推
理
mó tài tuī lǐ
英文翻译
Modal reasoning