On standard models of fuzzy modal logics

DOI10.1016/0165-0114(88)90128-5MaRDI QIDQ1108260zbMATH OpenOpenAlexFDO

Authors Mingsheng Ying

Publication date 1988

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0165-0114(88)90128-5

zbMATH Keywords

fuzzified Kripke framesfuzzy framemany-valued modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Theory of fuzzy sets, etc. (03E72)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 2203356
• On theories and models in fuzzy predicate logics
• scientific article; zbMATH DE number 1164050
• Fuzzy logics with modalities
• scientific article; zbMATH DE number 800831
• FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED
• scientific article; zbMATH DE number 1508188
• scientific article; zbMATH DE number 1523005
• Rough Sets and Current Trends in Computing
• scientific article; zbMATH DE number 1014400

Cites work

• Algebraic Analysis of Many Valued Logics
• Fuzzy propositional logics
• Fuzzy sets
• Hedges: A study in meaning criteria and the logic of fuzzy concepts
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Recent literature on fuzzy sets
• Some properties of fuzzy logic

Cited in

(21)

• A class of decidable information logics
• On a KTB-modal fuzzy logic
• Algebraic structures in fuzzy logic
• Kripke frame with graded accessibility and fuzzy possible world semantics
• Generalized fuzzy groups and many-valued implications
• On the relationship between fuzzy description logics and many-valued modal logics
• Kripke semantics for fuzzy logics
• An inferential approach to information retrieval and its implementation using a manual thesaurus
• Fuzzy logics with modalities
• scientific article; zbMATH DE number 2160577 (Why is no real title available?)
• scientific article; zbMATH DE number 2169213 (Why is no real title available?)
• From Kripke to neighborhood semantics for modal fuzzy logics
• Model checking fuzzy computation tree logic
• scientific article; zbMATH DE number 2203356 (Why is no real title available?)
• Lattice-valued modal propositional logic and its completeness
• A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
• New types of fuzzy ideals in BCK/BCI-algebras
• On fuzzy modal logics \(S5(\mathcal C)\)
• Fuzzy-fated filters of \(R_{0}\)-algebras
• Generalized fuzzy sub-hyperquasigroups of hyperquasigroups.
• Generalizations of \((\in,\in\vee q)\)-fuzzy filters in \(R_0\)-algebras.

This page was built for publication: On standard models of fuzzy modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1108260)