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

modal logic system on knowledge
.טכנול	关 于知道的模态逻辑系统