On fuzzy modal logics S5(C)

The fuzzy variant S5(C) of the well-known modal logic S5 is studied, C being a recursively axiomatized fuzzy propositional logic extending the basic fuzzy logic BL. Three kinds of Kripke models are introduced and corresponding deductive systems are found.