TY - JOUR AU - Walukiewicz, Igor PY - 1995/01/06 Y2 - 2024/03/29 TI - A Complete Deductive System for the mu-Calculus JF - BRICS Report Series JA - BRICS VL - 2 IS - 6 SE - Articles DO - 10.7146/brics.v2i6.19508 UR - https://tidsskrift.dk/brics/article/view/19508 SP - AB - The propositional mu-calculus as introduced by Kozen in [12] is considered.<br />In that paper a finitary axiomatisation of the logic was presented<br />but its completeness remained an open question. Here a different finitary<br />axiomatisation of the logic is proposed and proved to be complete. The<br />two axiomatisations are compared. ER -