TY  - RPRT
TI  - Many-Valued Coalgebraic Modal Logic: One-step Completeness and Finite Model Property
AU  - Chun-Yu Lin
AU  - Churn-Jung Liau
PY  - 2022
UR  - https://arxiv.org/abs/2012.05604
ID  - 2012.05604
ER  -