摘要

一阶模态μ-演算没有递归公理化,这对于通常的克里普克模型来说是完全的。然后我们引入了“一般”模型,并证明了一阶模态μ-演算的自然公理系统相对于一般模型是完备的。

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