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的分析.因為信息交換本質上可以看成是個認知過程,用認知邏輯可以很方便地表達