机译:一类不完整信息的三值逻辑的保留模态定理的翻译
DISCo, Universita di Milano-Bicocca, Viale Sarca 336/14, I-20126 Milan, Italy;
IRIT,CNRS et Universite de Toulouse, 118 rte de Narbonne, 31062, Toulouse, France;
three-valued logics; modal logic; uncertainty; incomplete information;
机译:模态逻辑中的三值逻辑
机译:模态逻辑中的三值逻辑
机译:关于古典逻辑及其双重的最强大的三价滞后逻辑
机译:不完全信息和认知逻辑的三值逻辑
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:用于疾病诊断的不完整多模式数据的稳定性加权矩阵完成
机译:一类不完整信息的三值逻辑的保留模态定理的翻译
机译:角色和动态子类:模态逻辑方法