TY  - RPRT
TI  - An Inductive Construction for Many-Valued Coalgebraic Modal Logic
AU  - Chun-Yu Lin
AU  - Churn-Jung Liau
PY  - 2022
UR  - https://arxiv.org/abs/2209.14688
ID  - 2209.14688
ER  -