On fuzzy modal logics \(S5(\mathcal C)\) (Q622028): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q195656 |
Changed an Item |
||
Property / author | |||
Property / author: Petr Hájek / rank | |||
Normal rank |
Revision as of 01:05, 11 February 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