Coalgebraic Fuzzy geometric logic

05/02/2022

∙

by   Litan Kumar Das, et al.

∙

0

∙

share

The paper aims to develop a framework for the coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, we introduce modal operators to the language of fuzzy geometric logic. We introduce a notion of fuzzy open predicate lifting to define modal operators. Models of fuzzy geometric logic are defined on coalgebras for an endofunctor T on a category Fuzzy-Top of fuzzy topological spaces and fuzzy continuous maps. Bisimulations for the defined models have been discussed in this paper.