Many-valued coalgebraic modal logic: One-step completeness and finite model property

Chun-Yu Lin, Churn-Jung Liau. Many-valued coalgebraic modal logic: One-step completeness and finite model property. Fuzzy Sets and Systems, 467:108564, September 2023. [doi]

@article{LinL23-14,
  title = {Many-valued coalgebraic modal logic: One-step completeness and finite model property},
  author = {Chun-Yu Lin and Churn-Jung Liau},
  year = {2023},
  month = {September},
  doi = {10.1016/j.fss.2023.108564},
  url = {https://doi.org/10.1016/j.fss.2023.108564},
  researchr = {https://researchr.org/publication/LinL23-14},
  cites = {0},
  citedby = {0},
  journal = {Fuzzy Sets and Systems},
  volume = {467},
  pages = {108564},
}