On fuzzy modal logics S5(C)
The fuzzy variant S5() of the well-known modal logic S5 is studied, 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. (c) 2009 Elsevier B.V. All rights reserved.
modal logic s5 mathematical fuzzy logic