41 citations · 77 across the 12 of their papers we have counts for
1 paper · 2 filters
Chun-Yu Lin, Churn-Jung Liau
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Coalgebras, understood as generic transition systems, can serve…