Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
2
This paper proposes a formalmodel of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.
Formulized is an operational semanticmodel of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.