模态逻辑

Modal situation semantics is a unified mathematics frame provided for the situation semantics by the logician in the term of the theory situation technology ..

模态情境语义学是逻辑学家依据情境技术的理论，希望为情境语义学提供的一个统一的数学框架。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques.

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题。

He also claimed that the modal system K45is the appropriate choice to base on.K.

他认为以模态系统K45为基础的非单调逻辑是合适的选择，K。

Three valued logic ; model checking ; modal transition system ; partial Kripke structure

三值逻辑；模型检验；模态转移系统；不完全Kripke结构

We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure.

提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验。

The soundness and weak completeness of PBL〓 are proved.

提出了概率信念逻辑PBL〓，证明了PBL〓的概率模态语义是可靠且弱完备的。

In order to eliminate the problems with existing logic of belief, desire and intention, and to provide a proper semantic representation for non-normal modal operator, the problems with existing logic of belief, desire and intention are addressed, the true-false subset semantics, which is developed by the authors, and its application in the formalization of agent are introduced.

为了克服现有的信念、愿望和意图逻辑中存在的问题，为非正规模态算子提供一种合适的语义表示。

Necessity is not a one-place modal term in common logical thinking, and there is no internal connection between necessity and truth-function of eternal truth.

在普通逻辑思考实际中，必然既不是1元的模态词，而且，必然与恒真的真值函数之间也并无内在联系。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。