On standard models of fuzzy modal logics (Q1108260)

This short paper introduces fuzzified Kripke frames, i.e. sets of ``possible worlds'' together with a fuzzy binary relation for their elements. The connectives of the modal language are taken as many-valued ones. Calling a suitable formula A \(\lambda\)-valid within a fuzzy frame \(U=<W,R>\) iff the truth value of A is \(\geq \lambda\) for all valuations, the author generalizes some results of the usual correspondence theory of modal logic in discussing relationship between \(\lambda\)-validity of formulas \(\diamond\) \(k\square\) lA\(\to \square\) \(m\diamond\) nA and properties of R. Finally, a necessitation rule for a suitable consequence relation is proven.