Open AccessA Complete Deductive System for the mu-Calculus
Author(s) -
Igor Walukiewicz
Publication year - 1995
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v2i6.19508
Subject(s) - finitary , completeness (order theory) , mathematics , propositional calculus , calculus (dental) , discrete mathematics , mathematical analysis , medicine , dentistry
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.