文章基本信息

标题：A Complete Deductive System for the mu-Calculus
本地全文：下载
作者：Igor Walukiewicz
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：1995
卷号：2
期号：6
出版社：Aarhus University
摘要：The propositional mu-calculus as introduced by Kozen in [12] is considered. In that paper a finitary axiomatisation of the logic was presented but its completeness remained an open question. Here a different finitary axiomatisation of the logic is proposed and proved to be complete. The two axiomatisations are compared.