kripke语义的英文

• kripke semantics

• "语义"英文翻译    semanteme; semantics
• "kripke semantics" 英文翻译 :    kripke语义; 关系语义
• "saul kripke" 英文翻译 :    索尔・阿伦・克里普克
• "语义" 英文翻译 :    semanteme; semantics 语义结构学 semotactics; 语义扩展 semantic extension; 语义缩合semantic condensation; 语义要素 semantic feature; 语义成分 semantic component; 语义场 semantic field; 语义程序 semantic routine; 语义存储器 semantic memory; 语义分析 semantic analysis; 语义生成 semantic generation; 语义树 semantic tree; 语义图 [计算机] grapheme; 语义网 semantic net; 语义字 semantic word
• "新语义" 英文翻译 :    neology
• "语义层" 英文翻译 :    semantic layer; universe
• "语义场" 英文翻译 :    semantic field
• "语义丛" 英文翻译 :    semantic cluster
• "语义的" 英文翻译 :    semanticallly
• "语义对" 英文翻译 :    semantic pair
• "语义法" 英文翻译 :    semantic approach; semantic technique
• "语义符" 英文翻译 :    graphechon
• "语义类" 英文翻译 :    semantic categories
• "语义链" 英文翻译 :    semantic link
• "语义论" 英文翻译 :    semantics
• "语义码" 英文翻译 :    semantic code
• "语义上" 英文翻译 :    semantically
• "语义树" 英文翻译 :    semantic tree
• "语义图" 英文翻译 :    grapheme
• "语义网" 英文翻译 :    semantic net; semantic web
• "语义学" 英文翻译 :    semantics◇语义学家 semanticist
• "语义栈" 英文翻译 :    semantic stack
• "语义值" 英文翻译 :    semantic value
• "语义字" 英文翻译 :    semantic word
• "值语义" 英文翻译 :    value semantics

• 6 li gong , roger needham , raphael yahalom . reasoning about beliefs in cryptographic protocols
  我们将使用一类特殊的等价的kripke语义,即知识结构
• This paper introduces a new methodology that uses - it knowledge structures , a specific form of kripke semantics for epistemic logic , to analyze communication protocols over hostile networks . the paper particularly focuses on automatic verification of authentication protocols . our approach is based on the actual definitions of a protocol , not on some difficult - to - establish justifications
  认知逻辑的kripke语义已经被成功应用到通信协议的推理分析中例如,交替位协议alternating bit protocol的分析,及最近的对tcp的分析.因为信息交换本质上可以看成是个认知过程,用认知逻辑可以很方便地表达