modal logic

modal logic什么意思,modal logic翻译

基本解释

un.: 模态逻辑
网络: 情态逻辑；模型逻辑；模太逻辑

英汉解释

• 模态逻辑

例句

• In this article, the author writes in different ways to analyze the investigation logic from the theory of possible world and modal logic.

  可能世界语义学从形式结构方面研究这一理论，但它又不只是哲学逻辑的惟一语义。

• There exists the similar relation between the necessitation and modal logic.

  对必然化规则和模态逻辑系统来说有类似的结果。

• It also has many merits that weak bisimulation does not have, e. g. , algebraic characterization and modal logic characterization.

  它还拥有弱互模拟没有的优点，如代数刻画和模态逻辑刻画。

• Barcan formulas play an important role in constructing semantics of quantified modal logic.

  在模态谓词逻辑语义学构建的过程中，巴坎公式扮演着重要的角色。

• Historical development of modal logic passed the syntactic period, the classic period, and the modern period.

  模态逻辑的历史发展经历了语形时期、经典时期和现代时期；

• It relates to action logic, modal logic and other branches of logic, and makes a notable impact on them.

  它涉及到行动逻辑与模态逻辑等逻辑分枝领域并对其产生重要影响。

• The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

  模态逻辑S5，被看作S4中一个理论，是一元布尔代数的模型，如同模态逻辑S4是内部代数的模型。

• Modal logic is the logic of necessity and possibility.

  模态逻辑是关于必要性和可能性的逻辑。

• Monadic Boolean algebras also have an important connection to modal logic.

  一元布尔代数还与模态逻辑有重要联系。

• Quantified modal logic based on free logic improves classic quantified modal logic.

  以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。