@misc{indiciaeb57fff144065, title = {Many-Valued Coalgebraic Modal Logic: One-step Completeness and Finite Model Property}, author = {Chun-Yu Lin and Churn-Jung Liau}, year = {2022}, url = {https://arxiv.org/abs/2012.05604}, note = {Source identifier: 2012.05604} }