אנגלית ⇄ סינית +

semantics of normal modal logic
.בינה	正规模态逻辑的语义