最小不动点理论相关硕士博士期刊学术论文

真谓词的内在最小不动点理论（KFS）因其弗完全性而饱受批评,外在最小不动点理论（KF）试图弥补KFS的不足。然而其刻画的真谓词不仅不满足......