research
∙
09/29/2022
An Inductive Construction for Many-Valued Coalgebraic Modal Logic
In this paper, we present an abstract framework of many-valued modal log...
share
research
∙
12/10/2020
