agent communication; message semantics; epistemic kripke models; dynamic epistemic logic;
机译:扩展UML状态图/随机Kripke结构语义的概率研究
机译:中间谓词逻辑的语义不完整,I。Kripke的语义
机译:交叉点类型和指示语义:扩展摘要(邀请纸)
机译:消息生成的Kripke语义
机译:克里普克的怀疑悖论和语义规范性(Saul Kripke)。
机译:抽象概念的语义内容:296个抽象词的属性列表研究
机译:Kripke捆语义在中间谓词逻辑中的应用(非经典逻辑的新方面及其Kripke语义)
机译:双模拟语义中的分支时间和抽象(扩展摘要)