机译:模态,描述和混合逻辑中的分辨率
机译:普通模态逻辑的子句解析
机译:Nicholas Rescher,悖论:其根源,范围和分辨率; Patrick Blackburn,Maarten de Rijke和Yde Venema,模态逻辑,《理论计算机科学》剑桥卷。 53
机译:前缀解析模态和描述逻辑的分辨率方法
机译:不同模式下参考分辨率的数据和方法
机译:使用三维分辨率测量的高分辨率显微镜成像模态的比较研究
机译:前缀分辨率 - 模态和描述逻辑的分辨率方法
机译:模态命题逻辑中的分辨率