An Inductive Construction for Many-Valued Coalgebraic Modal Logic

Chun-Yu Lin, Churn-Jung Liau

In this paper, we present an abstract framework of many-valued modal logic with the interpretation of atomic propositions and modal operators as predicate lifting over coalgebras f…