On fuzzy modal logics \(S5(\mathcal C)\) (Q622028)
From MaRDI portal
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
0 references
