3 citations · 3 across the 1 of their papers we have counts for
1 paper
Kuniaki Tamura
The modal mu-calculus, introduced by Dexter Kozen, is an extension of modal logic with fixpoint operators. Its axiomatization, Koz, was introduced at the same time and is an extens…