查找： 关键词为 Inconsistency Paraconsistent logic Temporal logic Software engineering 的文献