助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   first order modal logic 的翻译结果: 查询用时:0.201秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

first order modal logic
相关语句
  一阶模态逻辑
     Here,we point out that the completeness of Cialdea's resolution system for first order modal logic D is incorrect, and present two kinds of methods to revise Cialdea's system so that the completeness can be preserved.
     指出了Cialdea一阶模态逻辑归结系统是不完备的.为了确保推理系统的完备性,给出了Cialdea系统的两种修正方法.
短句来源
  “first order modal logic”译为未确定词的双语例句
     Cialdea's Resolution System for First Order Modal Logic
     关于Cialdea一阶模态归结系统
短句来源
查询“first order modal logic”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  first order modal logic
We focus on the study of neighborhood frames with constant domains and we offer in the first part of the paper a series of new completeness results for salient classical systems of first order modal logic.
      
We propose a first order modal logic, theQS4E-logic, obtained by adding to the well-known first order modal logicQS4 arigidity axiom schemas:A → □A, whereA denotes a basic formula.
      


Cialdea's resolution system for first-order modal logic D is incomplete, although it has less notational redundancy and is easier in implementation.We improve Cialdea's resolution system, lead into a resolution rule between two formulas which bound by possible operator, and obtain a new resolution system for first-order medal logic D, denoted as FMRD. FMRD retain the advantages of Cialdea's resolution system good enough. At the same time, we prove the soundness and the...

Cialdea's resolution system for first-order modal logic D is incomplete, although it has less notational redundancy and is easier in implementation.We improve Cialdea's resolution system, lead into a resolution rule between two formulas which bound by possible operator, and obtain a new resolution system for first-order medal logic D, denoted as FMRD. FMRD retain the advantages of Cialdea's resolution system good enough. At the same time, we prove the soundness and the completeness of FMRD.

Cialdea的一阶模态D逻辑归结系统具有符号冗余较少和机器上较容易实现等优点,但它是不完备的.本文中,我们改进了Cialdea归结系统,引入了两个可能算子约束的公式间的归结规则,得到了一种新的一阶模态D逻辑的归结系统,记为FMRD.FMRD很好地保持了Cialdea归结系统的优点,同时,我们证明了FMRD的可靠性与完备性.

Here,we point out that the completeness of Cialdea's resolution system for first order modal logic D is incorrect, and present two kinds of methods to revise Cialdea's system so that the completeness can be preserved.

指出了Cialdea一阶模态逻辑归结系统是不完备的.为了确保推理系统的完备性,给出了Cialdea系统的两种修正方法.

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关first order modal logic的内容
在知识搜索中查有关first order modal logic的内容
在数字搜索中查有关first order modal logic的内容
在概念知识元中查有关first order modal logic的内容
在学术趋势中查有关first order modal logic的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社