On fuzzy modal logics \(S5(\mathcal C)\) (Q622028)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5843023
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On fuzzy modal logics \(S5(\mathcal C)\) |
scientific article; zbMATH DE number 5843023 |
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
0.836211621761322
0 references
0.8176455497741699
0 references
