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.
- 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
- 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
- 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)
