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]

Abstract

Abstract is missing.