TY  - RPRT
TI  - Completeness of Kozen's Axiomatization for the Modal mu-Calculus: A Simple Proof
AU  - Kuniaki Tamura
PY  - 2026
UR  - https://arxiv.org/abs/1408.3560
ID  - 1408.3560
ER  -