时空认知逻辑及其算法复杂性,吴垠,江敏,纤维方法可以将不同的模态逻辑进行组合,从而得到一个描述能力更强的形式系统,然而利用这种方法所引起的计算复杂性问题尚不清��