• 断言推理 - 引用次数：4

  As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.

  作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。

  参考来源 - 时态逻辑及其对知识库的构架与研究

·2,447,543篇论文数据，部分数据来源于NoteExpress