An Inductive Construction for Many-Valued Coalgebraic Modal Logic | IEEE Conference Publication | IEEE Xplore