Ｃｉａｌｄｅａ的－阶模态Ｄ逻辑归结系统具有符号冗余较少和机器上较容易实现等优点，但它是不完备的。本文中，我们改进了Ｃｉａｌｄｅａ归结系统，引入了两个可能算子约......

指出了Ｃｉａｌｄｅａ一介模态逻辑归结系统是不完备的，为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法。......