On Coalgebraic Many-Valued Modal Logic

12/10/2020

∙

by   Chun-Yu Lin, et al.

∙

0

∙

share

In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Using techniques from abstract algebraic logic, we prove soundness and completeness theorem by developing one-step logic. In the final section, we also propose some questions deserved for future works.