...
机译:再谈结构操作语义学和模态逻辑
structural operational semanticsmodal logiccoalgebra;
机译:结构操作语义中的双代数方法和模态逻辑
机译:轩尼诗-米尔纳逻辑的结构性操作语义构成
机译:模态子结构逻辑的Kripke语义
机译:重访并发分离逻辑和操作语义
机译:模态逻辑的概率语义
机译:通过操作模态分析(OMA)验证的有限元(FE)模型对战略建筑的结构可操作性评估
机译:重新审视结构操作语义和模态逻辑
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义