On fuzzy modal logics \(S5(\mathcal C)\) (Q622028): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:48, 5 March 2024

scientific article
Language Label Description Also known as
English
On fuzzy modal logics \(S5(\mathcal C)\)
scientific article

    Statements

    On fuzzy modal logics \(S5(\mathcal C)\) (English)
    0 references
    31 January 2011
    0 references
    The fuzzy version S5\((\mathcal C)\) of the modal logic S5 is studied. \(\mathcal C\) is 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. The reader is assumed to know the basic facts of classical modal logics and their Kripke semantics, including the logic S5, as well as t-norm-based fuzzy logics.
    0 references
    fuzzy logic
    0 references
    modal logic
    0 references
    S5
    0 references
    completeness
    0 references
    Kripke model
    0 references
    0 references

    Identifiers