go top

Normal modal logic

  • 正规模态逻辑(在逻辑中,正规模态逻辑是模态公式的集合 L,L 包含并且 L 闭合于最小化的正规模态逻辑叫做 K)

网络释义英英释义

  正规模态逻辑

... 正逻辑电平 PLL PositiveLogicLevel 正规模态逻辑 normal modal logic 正-真[逻辑 true ; positivetrue ...

基于1个网页-相关网页

短语

non-normal modal logic 非正规模态逻辑

Normal Modal Propositional Logic System 正规模态逻辑系统

Normal modal logic

  • abstract: In logic, a normal modal logic is a set L of modal formulas such that L contains:

以上来源于: WordNet

双语例句

  • Secondly, a new semantics of pbl-normal probabilistic modal semantics is given, which is a new semantics suited for modeling probabilistic modal logic.

    其次PBL建立了正规概率语义一种适于刻画概率模态逻辑语义模型

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定