Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.

其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。

youdao

Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.

其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。

youdao