摘要

我们定义了命题模态μ-演算公式的秩函数,使得不动点的秩严格大于其任何有限近似的秩。例如,需要这种秩函数来建立传递过渡系统上模态μ-层次的崩溃。我们证明了秩函数的范围是ωω进一步证明了秩可以通过本原递归计算,这给了我们一个统一的方法来生成ω以下任意秩的公式ω.

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。