no code implementations • 10 Dec 2020 • Chun-Yu Lin, Churn-Jung Liau
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach.
Logic in Computer Science F.4.1; I.2.4