Chun-Yu Lin, Churn-Jung Liau. An Inductive Construction for Many-Valued Coalgebraic Modal Logic. In 53rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2023, Matsue, Japan, May 22-24, 2023. pages 36-41, IEEE, 2023. [doi]
Abstract is missing.