助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   模态逻辑 的翻译结果: 查询用时:1.618秒
图标索引 在分类学科中查询
所有学科
逻辑学
计算机软件及计算机应用
数学
自动化技术
计算机硬件技术
电信技术
互联网技术
中国语言文字
史学理论
更多类别查询

图标索引 历史查询
 

模态逻辑     
相关语句
  modal logic
     Tableaux System TS_5 of the Regular Modal Logic S_5
     模态逻辑S_5的表推演系统TS_5
短句来源
     Tableaux System TS_4 of the Regular Modal Logic S_4
     正规模态逻辑S_4的表推演系统TS_4
短句来源
     Fuzzy Modal Logic and Its Basic Systems
     Fuzzy模态逻辑及其基础系统
短句来源
     The Modal Logic Analysis and Application of the Concept of Therapeutic Communication
     治疗性沟通概念的模态逻辑分析与应用
短句来源
     Tableau-Based Proving System for Medium Modal Logic MS_4
     中介模态逻辑MS_4的表推演系统
短句来源
更多       
  model logic
     Model Logic and Philosophy
     模态逻辑与哲学
短句来源
     Model Logic Approach for Analyzing the Flaws of Security Protocol Cryptosystem-related Flaws
     分析安全协议密码系统相关缺陷的模态逻辑方法
短句来源
     The Possible World of and Situation in Model Logic
     模态逻辑可能世界与情境
短句来源
     Model Logic is about the one of necessity and probability, and it would be involved some philosophic problems.
     模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。 除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。
短句来源
     Beside some problems of semantics, model logic itself also includes some philosophic problems, such as essentialism, abstract entity and so on.
     模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。 模态逻辑的研究成果对当代哲学的发展也具有重要的意义。
短句来源
更多       
  modal logics
     THE INVARIANCE AND THE NONLINEARITY IN MODAL LOGICS
     模态逻辑中的不变性和非线性性(英文)
短句来源
     This paper concerns the question of automatic reasoning for turnstyl. "" modal logical consequence in propositional modal logics K, K4, D, D4, T, S4. We have presented a method, called strong modal resolution, for proving turnstyle "" modal logical consequence, and proved correctness and completeness of the strong modal resolution.
     研究了命题模态逻辑K,K4,D,D4,T,S4的“”型模态逻辑结果的自动推理.提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结.证明了强模态归结的可靠性与完备性.
短句来源
     Modal Logics of Finite Depth
     有穷深度的模态逻辑
     This paper aims at a "boundary" result more general than both Segerberg's theorem and Nagle's theorem: all modal logics of finite depth have the finite model property, no matter they are transitive or not.
     本文旨在建立一个比Segerberg定理和Nagle定理都更一般的“边界”结果:所有深度有穷的模态逻辑都有有穷模型性,无论是否传递逻辑。
  modal logic system
     Generalized Lattice-Valued Modal Logic System and Resolution Automated Reasoning Based on Lattice Implication Algebra
     基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究
短句来源

 

查询“模态逻辑”译词为其他词的双语例句

 

查询“模态逻辑”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  modal logic
By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given.
      
The modal logic calculus K4, which represents important properties of the provability relation of Peano's Arithmetic, is formalized within the automated reasoning system ITP.
      
This paper is concerned with the definition of strategies for resolution in modal logic.
      
In the last part of the paper we present two applications of T-resolution: to constraint logic programming and to modal logic.
      
In the context of answering open questions, the most satisfying examples to date concern the study of the right-group calculus and the study of the modal logic C5.
      
更多          
  model logic
Sequent calculi for skeptical consequence in predicate default logic, predicate stable model logic programming, and infinite autoepistemic theories are presented and proved sound and complete.
      
We show that neither the descending chain property nor the finite model property is a necessary condition for a model logic having no minimal proper extension.
      
A high level description of the model logic is shown in Figure A3.
      
Here, the software automatically creates a text record of the model logic in which equations, parameters and variables are all specified.
      
Implement the model logic in MATLAB/Simulink in order to take advantage of its greater flexibility and ability to process archived signal data.
      
更多          
  mode logic
Analysis and numerical circuit-design modeling of the speed of current-mode logic devices, as well as complementary push-pull inverters built on scaled 0.2- to 0.1-μm transistor structures with the thin heavily doped base, were performed.
      
Several hundred functional and safety requirements for the mode logic of a typical flight guidance system were captured as natural language "shall" statements.
      
A formal model of the mode logic was written in the RSML-e language and translated into the NuSMV model checker and the PVS theorem prover using translators developed as part of the project.
      
A Wired-AND Current-Mode Logic Circuit Technique in CMOS for Low-Voltage, High-Speed and Mixed-Signal VLSIC
      
A wired-AND current-mode logic (WCML) circuit techniquein CMOS technology for low-voltage and high-speed VLSI circuitsis proposed, and a WCML cell library is developed using standard0.8 micron CMOS process.
      
更多          
  modal logics
The general problem can be formulated as follows: from two modal logics describing certain classes of Kripke modal lattices construct a logic describing all products of Kripke lattices from these classes.
      
Nonfinitely approximable intuitionistic modal logics
      
Critical modal logics containing the Brouwer axiom
      
Disjunctive property of superintuitionist and modal logics
      
We study modal logics of regions in a real space ordered by the inclusion and compact inclusion relations.
      
更多          
  其他


点击这里查询相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关模态逻辑的内容
在知识搜索中查有关模态逻辑的内容
在数字搜索中查有关模态逻辑的内容
在概念知识元中查有关模态逻辑的内容
在学术趋势中查有关模态逻辑的内容
 
 

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